Vomit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Vomit

Vomit

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21446-21447
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31664-31664	roomTempState Vomit and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21444-21444	Vomit e' uma sub-classe de Mistura

appearance as argument number 2

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

Mid-level-ontology.kif 21445-21445

antecedent

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

Mid-level-ontology.kif 21451-21467

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

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