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 | Urination 是 Excreting 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage Urination "urination") | Mid-level-ontology.kif 2132-2132 |
antecedent |
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 |