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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Clothing

 Sigma KEE - Clothing
Clothing(服装)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15901-15901 服装 和 % 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 15902-15903
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 15900-15900 服装 是 可穿戴物品 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5053-5053 围裙 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5068-5068 带 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5096-5096 披风 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5107-5107 领 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5292-5292 连衣裙 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5130-5130 手套 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5145-5145 帽子 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5100-5100 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 5039-5039 户外服装 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5320-5320 睡衣 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3554-3554 SafetyVest 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5257-5257 衬衫 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5179-5179 鞋 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5268-5268 袖 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5242-5242 袜子 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5082-5082 领带服装 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5164-5164 长裤 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26685-26685 UniformClothing 是 服装 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5471-5471 面纱 是 服装 的 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 15914-15921
No TPTP formula. May not be expressible in strict first order. Merge.kif 15905-15912

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30178-30188 实体 是 身体部位 的 instance 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30145-30153 Naked 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5503-5518
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 5072-5080
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30160-30173
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4264-4270
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5420-5425
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5623-5625
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