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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoveringFn

 Sigma KEE - CoveringFn
CoveringFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29727-29728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29725-29725 域子類 CoveringFn, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29724-29724 例 CoveringFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29726-29726 範圍子類 CoveringFn and 可穿戴物品

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3138-3138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3137-3137
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3136-3136
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64711-64711

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29730-29739

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 4743-4743 等於 手套 and 對於 手 的 covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5148-5148 子類 帽子 and 對於 頭 的 covering
No TPTP formula. May not be expressible in strict first order. Cars.kif 4360-4360 子類 Helmet and 對於 頭 的 covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5101-5101 子類 Mask and 對於 面對 的 covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5260-5260 子類 襯衫 and 對於 軀幹 的 covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5182-5182 子類 鞋 and 對於 足 的 covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5271-5271 子類 袖 and 對於 臂 的 covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5245-5245 子類 襪子 and 對於 足 的 covering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5167-5167 子類 長褲 and 對於 腿 的 covering


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