Stomach - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Stomach

Stomach

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12092-12092	connectedBodyPart Stomach and Intestine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12053-12054
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 181-181
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12052-12052	Stomach est une sous-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12051-12051	Stomach est une sous-classe de organe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12086-12086	typicalPart Stomach and GastroIntestinalTract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12091-12091	connectedBodyPart Esophagus and Stomach
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55448-55448
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55447-55447
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55446-55446

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9866-9888	Objet est une instance de Antacid d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet objet est une instance de Stomach objet est une partie de AutonomousAgent objet contient objet objet est une instance de Fluid pendant immediatement avant temps d'existence de d�palcement objet contient objet objet est une instance de Fluid pendant immediatement apr�s temps d'existence de d�palcement phMeasure objet and nombre r�el phMeasure objet and nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9927-9949	Objet est une instance de ProtonPumpInhibitor d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet objet est une instance de Stomach objet est une partie de AutonomousAgent objet contient objet objet est une instance de Fluid pendant immediatement avant temps d'existence de d�palcement objet contient objet objet est une instance de Fluid pendant immediatement apr�s temps d'existence de d�palcement phMeasure objet and nombre r�el phMeasure objet and nombre r�el nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12056-12058	Objet est une instance de Stomach objet est capable de faire Digesting dans le r�le instrument

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	Processus est une instance de ExperiencingDiscomfortInTheStomach AutonomousAgent exp�rimente processus processus processusAIN and objet processus est une instance de perception temps d'existence de processus prend place pendant temps d'existence de processusAIN processusAIN est une instance de Pain AutonomousAgent exp�rimente processusAIN processus est un sous-processus de processus processus est un agent de AutonomousAgent objet est un patient de processus objet est une instance de Stomach objet est une partie de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1916-1929	Processus est une instance de GERefluxDisease AutonomousAgent exp�rimente processus processus objet and objet processus est une instance de transf�re processus a pour origine objet objet est une instance de Stomach objet est une instance de Esophagus processus aboutit � objet objet est une partie de AutonomousAgent objet est une partie de AutonomousAgent processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6589-6601	Transf�re est une instance de Swallowing transf�re est un agent de AutonomousAgent objet objet, transf�reT and objet objet est une instance de Mouth objet est une instance de Esophagus transf�reT est une instance de Stomach objectTransferred transf�re and objet transf�re a pour origine objet transf�re aboutit � transf�reT objet est le chemin le long duquel transf�re se produit
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21440-21454	Processus est une instance de Vomiting AutonomousAgent exp�rimente processus objet entit� objet est une instance de Stomach objet est une partie de AutonomousAgent entit� est situ� � objet pendant le d�but de temps d'existence de processus entit� est situ� � AutonomousAgent pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21479-21495	Processus est une instance de Vomiting entit� est une instance de Vomit entit� est un patient de processus AutonomousAgent exp�rimente processus objet objet est une instance de Stomach objet est une partie de AutonomousAgent entit� est situ� � objet pendant le d�but de temps d'existence de processus entit� est situ� � AutonomousAgent pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4972-4979	PepticUlcers est un attribut de objet objet physique objet est une instance de Stomach physique est une instance de Ulcer objet est une partie de objet physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6452-6466	Processus est une instance de Bloating AutonomousAgent objet en une partie, objet en une partie and objet AutonomousAgent exp�rimente processus objet est une instance de Gas objet en une partie est une partie de AutonomousAgent objet en une partie est une instance de Intestine objet en une partie contient objet objet en une partie est une partie de AutonomousAgent objet en une partie est une instance de Stomach objet en une partie contient objet

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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