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(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 10896-10904
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10892-10892	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 22737-22737	Caffeine is a subclass of diuretic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9412-9412	Ethanol is a subclass of diuretic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10894-10894	Ethanol is a subclass of diuretic

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10921-10942	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 10906-10919	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 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