TreeView Knowledge Base Browser - Stomach

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 12065-12065	connectedBodyPart Stomach and Intestine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12026-12027
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 12025-12025	Stomach e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12024-12024	Stomach e' uma sub-classe de Orgao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12059-12059	typicalPart Stomach and GastroIntestinalTract

appearance as argument number 2

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.	domainEnglishFormat.kif 55446-55446
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55445-55445
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55444-55444

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9839-9861	Objeto e' uma instancia de Antacid Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9900-9922	Objeto e' uma instancia de ProtonPumpInhibitor Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12029-12031	Objeto e' uma instancia de Stomach Objeto e' capaz de fazer Digesting no role instrument

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	Processo e' uma instancia de ExperiencingDiscomfortInTheStomach AutonomousAgent experimenta Processo Processo ProcessoAIN and Objeto Processo e' uma instancia de Percepcao tempo de existencia de Processo acontece durante tempo de existencia de ProcessoAIN ProcessoAIN e' uma instancia de Pain AutonomousAgent experimenta ProcessoAIN Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1916-1929	Processo e' uma instancia de GERefluxDisease AutonomousAgent experimenta Processo Processo Objeto and Objeto Processo e' uma instancia de Transferencia Processo tem como origem Objeto Objeto e' uma instancia de Stomach Objeto e' uma instancia de Esophagus Processo termina em Objeto Objeto e' uma &parte de AutonomousAgent Objeto e' uma &parte de AutonomousAgent Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6595-6607	Transferencia e' uma instancia de Swallowing Transferencia e' um agente de AutonomousAgent Objeto Objeto, TransferenciaT and Objeto Objeto e' uma instancia de Mouth Objeto e' uma instancia de Esophagus TransferenciaT e' uma instancia de Stomach objectTransferred Transferencia and Objeto Transferencia tem como origem Objeto Transferencia termina em TransferenciaT Objeto e' o caminho ao longo do qual Transferencia ocorre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21413-21427	Processo e' uma instancia de Vomiting AutonomousAgent experimenta Processo Objeto Entidade Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Entidade e' situado em Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' situado em AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21452-21468	Processo e' uma instancia de Vomiting Entidade e' uma instancia de Vomit Entidade e' um patient de Processo AutonomousAgent experimenta Processo Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Entidade e' situado em Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' situado em AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4972-4979	PepticUlcers e' um atributo de Objeto Objeto Fisico Objeto e' uma instancia de Stomach Fisico e' uma instancia de Ulcer Objeto e' uma &parte de Objeto Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6458-6472	Processo e' uma instancia de Bloating AutonomousAgent Objeto auto-conectado, Objeto auto-conectado and Objeto AutonomousAgent experimenta Processo Objeto e' uma instancia de Gas Objeto auto-conectado e' uma &parte de AutonomousAgent Objeto auto-conectado e' uma instancia de Intestine Objeto auto-conectado contem Objeto Objeto auto-conectado e' uma &parte de AutonomousAgent Objeto auto-conectado e' uma instancia de Stomach Objeto auto-conectado contem Objeto

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