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(diuretic)

Edecrin, Hygroton, Lasix, Lozal, Osmitrol, Thalidone, chlorthalidone, diuretic, diuretic_drug, ethacrynic_acid, furosemide, indapamide, mannitol, thiazide, water_pill

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 is a subclass of biologically active substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21647-21647	Caffeine is a subclass of diuretic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8638-8638	Ethanol is a subclass of 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	If an object is an instance of diuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10009-10022	If a physical is an instance of diuretic, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityOC such that the third entity is an instance of human and the entity is an instance of removing and the other entity is an instance of liquid and the third entity experiences the entity and the other entity moves during the entity and the other entity originates at the third entity and the third entity doesn't contain the other entityOC and the entity ends up at the other entityOC

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