Defecation |
appearance as argument number 1 |
(documentation Defecation EnglishLanguage "Defecation is a type of Excreting that discharges Feces") | Mid-level-ontology.kif 2135-2136 | |
(subclass Defecation Excreting) | Mid-level-ontology.kif 2134-2134 |
appearance as argument number 2 |
(termFormat EnglishLanguage Defecation "defecation") | Mid-level-ontology.kif 2137-2137 |
antecedent |
(=> (instance ?PROC Defecation) (exists (?FECES) (and (instance ?FECES Feces) (objectTransferred ?PROC ?FECES)))) |
Mid-level-ontology.kif 2139-2144 |
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 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 |