Throat - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Throat

Throat

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11723-11724
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 187-187
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11722-11722	Throat e' uma sub-classe de Airway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11720-11720	Throat e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11721-11721	Throat e' uma sub-classe de Veia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57926-57926
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57925-57925
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57924-57924

antecedent

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

Mid-level-ontology.kif 11726-11731

Objeto e' uma instancia de Throat
Objeto Objeto e' uma instancia de Mouth Objeto e' conectado com Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	Processo e' uma instancia de Coughing AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Lung Entidade e' uma instancia de Throat Entidade e' uma instancia de Objeto Entidade e' uma instancia de Remover Entidade e' uma &parte de AutonomousAgent Entidade e' uma &parte de AutonomousAgent objectTransferred Entidade and Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 754-765	Processo e' uma instancia de Cricothyroidotomy Entidade e' um patient de Processo Entidade Entidade e' uma instancia de Buraco Entidade e' igual a o dono do buraco Entidade Entidade e' uma instancia de Throat Entidade e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1710-1721	Processo e' uma instancia de ExperiencingALumpInTheThroat AutonomousAgent experimenta Processo Processo Objeto Processo e' uma instancia de Percepcao Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Throat Objeto e' uma &parte de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11326-11332	Objeto e' uma instancia de Nostril Objeto Objeto Objeto e' uma instancia de Nose Objeto e' uma instancia de Throat Objeto conecta Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6529-6534	Processo e' uma instancia de Strangling Entidade Entidade e' um patient de Processo Entidade e' uma instancia de Throat
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11739-11744	Objeto e' uma instancia de Trachea ObjetoH ObjetoH e' uma instancia de Throat ObjetoH e' conectado com Objeto

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