Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Diuretic

 Sigma KEE - Diuretic
Diuretic

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10000-10008
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9996-9996 子類 Diuretic and BiologicallyActiveSubstance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21648-21648 子類 Caffeine and Diuretic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8639-8639 子類 Ethanol and Diuretic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9998-9998

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10025-10046
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10010-10023


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