TreeView Knowledge Base Browser - Diuretic

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 9999-10007
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9995-9995	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 21647-21647	Caffeine e' uma sub-classe de Diuretic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8638-8638	Ethanol e' uma sub-classe de Diuretic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9997-9997

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10024-10045	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 10009-10022	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 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