Diuretic - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Diuretic

Diuretic

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10027-10035
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10023-10023	Diuretic e' uma sub-classe de Substancia Biologica Ativa

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21675-21675	Caffeine e' uma sub-classe de Diuretic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8666-8666	Ethanol e' uma sub-classe de Diuretic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10025

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10052-10073	Objeto e' uma instancia de Diuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10037-10050	Fisico e' uma instancia de Diuretic Fisico tem por fim Entidade Entidade, Entidade and EntidadeOC Entidade e' uma instancia de Humano Entidade e' uma instancia de Remover Entidade e' uma instancia de Liquid Entidade experimenta Entidade moves Entidade and Entidade Entidade tem como origem Entidade Entidade nao contem %n EntidadeOC Entidade termina em EntidadeOC

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