Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeasurementAttribute

 Sigma KEE - Clothing
Clothing(服装)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15973-15973 服装 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3614-3615
No TPTP formula. May not be expressible in strict first order. Merge.kif 15974-15975
No TPTP formula. May not be expressible in strict first order. pictureList.kif 351-351
No TPTP formula. May not be expressible in strict first order. Merge.kif 15972-15972 服装 是 可穿戴物品 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5047-5047 围裙 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5062-5062 带 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5090-5090 披风 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5101-5101 领 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5286-5286 连衣裙 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5124-5124 手套 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5139-5139 帽子 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5094-5094 Mask 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 415-415 Oqal 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5033-5033 户外服装 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5314-5314 睡衣 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3539-3539 SafetyVest 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5251-5251 衬衫 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5173-5173 鞋 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5262-5262 袖 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5236-5236 袜子 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5076-5076 领带服装 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5158-5158 长裤 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26718-26718 UniformClothing 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5465-5465 面纱 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1055-1055
No TPTP formula. May not be expressible in strict first order. english_format.kif 1321-1321
No TPTP formula. May not be expressible in strict first order. french_format.kif 733-733
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 264-264

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15986-15993
No TPTP formula. May not be expressible in strict first order. Merge.kif 15977-15984

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30202-30212 实体 是 身体部位 的 instance 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30169-30177 Naked 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5497-5512
No TPTP formula. May not be expressible in strict first order. naics.kif 2194-2210
No TPTP formula. May not be expressible in strict first order. naics.kif 7509-7521
No TPTP formula. May not be expressible in strict first order. naics.kif 2457-2475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5066-5074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30184-30197
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4257-4263
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5414-5419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5617-5619
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1809-1819
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1785-1802
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1827-1848
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1856-1863


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners