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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ear

 Sigma KEE - Ear
Ear(耳)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12141-12141
No TPTP formula. May not be expressible in strict first order. pictureList.kif 403-403
No TPTP formula. May not be expressible in strict first order. pictureList.kif 84-84
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12140-12140 耳 是 动物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12139-12139 耳 是 器官 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20784-20784
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20783-20783
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20782-20782

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12143-12145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12147-12152

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


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

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2876-2876 LeftEar 是 BodySideFn 左 and 耳 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2879-2879 RightEar 是 BodySideFn 右 and 耳 的 subclass


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