TreeView Knowledge Base Browser - ProtonPumpInhibitor

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ProtonPumpInhibitor

ProtonPumpInhibitor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9912-9923
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31673-31673	roomTempState ProtonPumpInhibitor and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9910-9910	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 9925-9925
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9924-9924

antecedent

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

Mid-level-ontology.kif 9927-9949

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