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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WearableItem

 Sigma KEE - WearableItem
WearableItem(可穿戴物品)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3612-3613
No TPTP formula. May not be expressible in strict first order. Merge.kif 15911-15912
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8793-8793
No TPTP formula. May not be expressible in strict first order. Merge.kif 15910-15910 可穿戴物品 是 人工制品 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29714-29714 CoveringFn 的所得值 是 可穿戴物品 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15922-15922 服装 是 可穿戴物品 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 503-503 Earphone 是 可穿戴物品 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4457-4457 FitbitDevice 是 可穿戴物品 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3453-3453 听力保护 是 可穿戴物品 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 6116-6116 首饰 是 可穿戴物品 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 6090-6090 个人装饰 是 可穿戴物品 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3487-3487 防护眼镜 是 可穿戴物品 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3535-3535 呼吸器 是 可穿戴物品 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3428-3428 安全套 是 可穿戴物品 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62595-62595
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62594-62594
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62593-62593

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15947-15947 穿戴 的 2 数量 是 可穿戴物品 的 instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15914-15920


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