|
|
   Diuretic
|
|
|
| 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 11329-11337 | |
| (subclass Diuretic BiologicallyActiveSubstance) | Mid-level-ontology.kif 11325-11325 |
| appearance as argument number 2 |
|
|
| (subclass Caffeine Diuretic) | Mid-level-ontology.kif 23265-23265 | |
| (subclass Ethanol Diuretic) | Mid-level-ontology.kif 9845-9845 | |
| (termFormat EnglishLanguage Diuretic "diuretic") | Mid-level-ontology.kif 11327-11327 |
| 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 UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Mid-level-ontology.kif 11354-11375 | |
| (=> (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 11339-11352 |
|
|
|