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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Esophagus

 Sigma KEE - Esophagus
Esophagus

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12064-12064 connectedBodyPart Esophagus and Stomach
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12081-12082
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12080-12080 Esophagus e' uma sub-classe de Veia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12058-12058 typicalPart Esophagus and GastroIntestinalTract

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12063-12063 connectedBodyPart Mouth and Esophagus
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12083-12083

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1916-1929
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6595-6607


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