Antacid - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Antacid

Antacid

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9830-9836
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9828-9828	Antacid e' uma sub-classe de Substancia Biologica Ativa

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3563-3563	Famotidine e' uma sub-classe de Antacid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9837-9837

antecedent

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

Mid-level-ontology.kif 9839-9861

Objeto e' uma instancia de Antacid 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 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