TreeView Knowledge Base Browser - Chest

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Chest

Chest

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11214-11216
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11213-11213	Chest e' uma sub-classe de AnimalAnatomicalStructure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10768-10768	initialPart Pectoralis and Chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11237-11237	initialPart Rib and Chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11217-11217
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10767-10767	typicalPart Pectoralis and Chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11236-11236	typicalPart RibBone and Chest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11264-11264	typicallyContainsPart RibCage and Chest

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1799-1807	Prone e' um atributo de Objeto Objeto e' On em relacao a Objeto vale durante Posicao Temporal Objeto e' uma instancia de Chest Objeto e' uma &parte de Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11219-11229	Objeto e' uma instancia de Chest Classe e' uma instancia de Animal Objeto e' uma instancia de Classe Objeto e' uma &parte de Classe Objeto Objeto e' uma instancia de Torso Objeto e' uma &parte de Objeto Objeto e' uma &parte de Classe
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1823-1830	Objeto e' uma instancia de Chest Objeto e' uma &parte de Objeto auto-conectado Objeto auto-conectado e' igual a atras de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	Transferencia e' uma instancia de Thoracentesis Objeto e' um patient de Transferencia Transferencia Objeto, TransferenciaN, Objeto, Objeto and Objeto Transferencia e' uma instancia de Inserting Transferencia e' um sub-processo de Transferencia objectTransferred Transferencia and Objeto Transferencia tem como origem Objeto Transferencia termina em TransferenciaN Objeto e' uma instancia de Needle Fluid e' um atributo de Objeto objectTransferred Transferencia and Objeto Objeto termina em Objeto Objeto e' uma instancia de Lung Objeto e' uma instancia de Chest Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Transferencia tem como origem TransferenciaN Transferencia termina em Objeto TransferenciaN esta' entre Objeto e Objeto Objeto e' Outside em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	Objeto e' uma instancia de VentedChestSeal Transferencia e' uma instancia de Colar objectTransferred Transferencia and Objeto Transferencia termina em Entidade Objeto tem por fim Transferencia Entidade, Entidade and Entidade Transferencia e' uma instancia de Air Entidade e' uma instancia de Lung Entidade e' uma instancia de Chest Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Transferencia esta' entre Entidade e Entidade vale durante imediatemente antes de tempo de existencia de Transferencia Objeto tem por fim Transferencia e' Outside em relacao a Entidade vale durante imediatemente apos tempo de existencia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 799-810	Pneumothorax e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Lung Entidade e' uma instancia de Chest Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade esta' entre Entidade e Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 609-618	Processo e' uma instancia de CPR Processo ProcessoH and Objeto Processo e' uma instancia de Compressing Objeto e' um patient de Processo ProcessoH e' uma instancia de Chest ProcessoH e' uma &parte de Objeto ProcessoH e' um patient de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	Fisico e' uma instancia de ChestSeal Fisico tem por fim Entidade EntidadeH, Entidade and Entidade Entidade e' uma instancia de Closing Fisico e' um instrumento para Entidade Entidade e' situado em EntidadeH EntidadeH e' uma instancia de Chest Entidade e' uma instancia de Buraco EntidadeH e' igual a o dono do buraco Entidade Entidade e' uma instancia de Ferir Entidade e' situado em EntidadeH tempo de existencia de Entidade acontence antes de tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	Fisico e' uma instancia de Ivabradine Fisico tem por fim Entidade FisicoN and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de PainFn Chest Entidade experimenta Entidade FisicoN e' uma instancia de Ingerir FisicoN e' um agente de Entidade tempo de existencia de Entidade acontence antes de tempo de existencia de FisicoN Entidade2 Entidade2 e' uma instancia de PainFn Chest Entidade experimenta Entidade2 tempo de existencia de FisicoN acontence antes de tempo de existencia de Entidade2

statement

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 2016-2016

ChestPain e' uma sub-classe de PainFn Chest

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