TreeView Knowledge Base Browser - ProtonPumpInhibitor

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ProtonPumpInhibitor

Sigma KEE - ProtonPumpInhibitor

ProtonPumpInhibitor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9884-9895
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31637-31637	roomTempState ProtonPumpInhibitor and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9882-9882	ProtonPumpInhibitor e' uma sub-classe de Medicine

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9897-9897
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9896-9896

antecedent

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

Mid-level-ontology.kif 9899-9921

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

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