TreeView Knowledge Base Browser - Esophagus

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Esophagus

Esophagus(esophagus)

esophagus, gorge, gullet, oesophagus

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12064-12064	A esophagus is connected to a 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 is a subclass of body vessel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12058-12058	A esophagus is typically a part of a GI

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12063-12063	A mouth is connected to a 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	If a process is an instance of GERD and an agent experiences the process, then there exist another process, an object and another object such that the other process is an instance of transfer and the other process originates at the object and the object is an instance of stomach and the other object is an instance of esophagus and the other process ends up at the other object and the object is a part of the agent and the other object is a part of the agent and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6595-6607	If a transfer is an instance of swallowing and an agent is an agent of the transfer, then there exist an object, another object,, , the transferT and a third object such that the object is an instance of mouth and the other object is an instance of esophagus and the transferT is an instance of stomach and the object transferred in the transfer is the third object and the transfer originates at the object and the transfer ends up at the transferT and the other object is path along which the transfer occurs

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