Defecation |
appearance as argument number 1 |
(documentation Defecation EnglishLanguage "Defecation is a type of Excreting that discharges Feces") | Mid-level-ontology.kif 2142-2143 | |
(subclass Defecation Excreting) | Mid-level-ontology.kif 2141-2141 |
appearance as argument number 2 |
(termFormat EnglishLanguage Defecation "defecation") | Mid-level-ontology.kif 2144-2144 |
antecedent |
(=> (instance ?PROC Defecation) (exists (?FECES) (and (instance ?FECES Feces) (objectTransferred ?PROC ?FECES)))) |
Mid-level-ontology.kif 2146-2151 |
consequent |
(=> (holdsDuring ?T (attribute ?H RectalTenesmus)) (holdsDuring ?T (and (desires ?H (exists (?D) (and (instance ?D Defecation) (agent ?D ?H)))) (not (needs ?H (exists (?D) (and (instance ?D Defecation) (agent ?D ?H)))))))) |
Medicine.kif 5110-5125 | |
(=> (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 |