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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Diuretic

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
-------------------------


(documentation Diuretic EnglishLanguage "A diuretic is any substance that promotes diuresis, the increased production of urine. This includes forced diuresis. A diuretic tablet is sometimes colloquially called a water tablet. There are several categories of diuretics. All diuretics increase the excretion of water from the body, through the kidneys. There exist several classes of diuretic, and each works in a distinct way. Alternatively, an antidiuretic, such as vasopressin (antidiuretic hormone), is an agent or drug which reduces the excretion of water in urine.[from Wikipedia]") Mid-level-ontology.kif 9568-9576
(subclass Diuretic BiologicallyActiveSubstance) Mid-level-ontology.kif 9564-9564 Diuretic is a subclass of biologically active substance

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


(subclass Caffeine Diuretic) Mid-level-ontology.kif 21064-21064 Caffeine is a subclass of diuretic
(subclass Ethanol Diuretic) Mid-level-ontology.kif 8242-8242 Ethanol is a subclass of diuretic
(termFormat EnglishLanguage Diuretic "diuretic") Mid-level-ontology.kif 9566-9566

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


(=>
    (and
        (instance ?D Diuretic)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?D)
        (instance ?U1 Urination)
        (result ?U1 ?P1)
        (agent ?U1 ?H)
        (instance ?U2 Urination)
        (result ?U2 ?P2)
        (agent ?U2 ?H)
        (earlier ?U1 ?I)
        (earlier ?I ?U2)
        (instance ?V VolumeMeasure)
        (measure ?U1
            (MeasureFn ?N1 ?V))
        (measure ?U2
            (MeasureFn ?N2 ?V)))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))
Mid-level-ontology.kif 9593-9614
(=>
    (instance ?D Diuretic)
    (hasPurpose ?D
        (exists (?R ?L ?H ?LOC)
            (and
                (instance ?H Human)
                (instance ?R Removing)
                (instance ?L Liquid)
                (experiencer ?R ?H)
                (moves ?R ?L)
                (origin ?L ?H)
                (not
                    (contains ?H ?LOC))
                (destination ?R ?LOC)))))
Mid-level-ontology.kif 9578-9591


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