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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hypothalamus

 Sigma KEE - Hypothalamus
Hypothalamus(下丘腦)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12096-12097
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12095-12095 子類 下丘腦 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12094-12094 子類 下丘腦 and BodyPart

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29079-29079
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29078-29078
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29077-29077

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


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


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