| Urination | |
| appearance as argument number 1 |
|
|
| (documentation Urination EnglishLanguage "Urination is a type of Excreting that discharges Urine") | Mid-level-ontology.kif 2123-2124 | |
| (subclass Urination Excreting) | Mid-level-ontology.kif 2122-2122 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Urination "urination") | Mid-level-ontology.kif 2125-2125 |
| 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 10082-10105 | |
| (=> (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 10052-10073 | |
| (=> (instance ?P Urination) (exists (?B) (and (instance ?B Bladder) (origin ?P ?B)))) |
Mid-level-ontology.kif 11305-11310 | |
| (=> (instance ?PROC Urination) (exists (?URINE) (and (instance ?URINE Urine) (objectTransferred ?PROC ?URINE)))) |
Mid-level-ontology.kif 2127-2132 |
| 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 2175-2189 | |
| (=> (instance ?X Toilet) (hasPurpose ?X (exists (?PROC) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (destination ?PROC ?X))))) |
Mid-level-ontology.kif 2202-2210 |
|
|
|