Urination
|
|
appearance as argument number 1 |
(documentation Urination EnglishLanguage "Urination is a type of Excreting that discharges Urine") | Mid-level-ontology.kif 2130-2131 | |
(subclass Urination Excreting) | Mid-level-ontology.kif 2129-2129 |
appearance as argument number 2 |
(termFormat EnglishLanguage Urination "urination") | Mid-level-ontology.kif 2132-2132 |
antecedent |
(=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (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 ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 10054-10077 | |
(=> (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 10024-10045 | |
(=> (instance ?P Urination) (exists (?B) (and (instance ?B Bladder) (origin ?P ?B)))) |
Mid-level-ontology.kif 11277-11282 | |
(=> (instance ?PROC Urination) (exists (?URINE) (and (instance ?URINE Urine) (objectTransferred ?PROC ?URINE)))) |
Mid-level-ontology.kif 2134-2139 |
consequent |
(=> (instance ?U Urethra) (hasPurpose ?U (exists (?UR) (and (instance ?UR Urination) (instrument ?UR ?U))))) |
Anatomy.kif 1550-1556 | |
(=> (instance ?X Bidet) (hasPurpose ?X (exists (?PROC ?WASH ?PART) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (instrument ?PROC ?PART) (instance ?WASH Washing) (objectTransferred ?WASH ?PART) (instrument ?WASH ?X) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn ?WASH))))))) |
Mid-level-ontology.kif 2182-2196 | |
(=> (instance ?X Toilet) (hasPurpose ?X (exists (?PROC) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (destination ?PROC ?X))))) |
Mid-level-ontology.kif 2209-2217 |