Defecation | ![]() |
appearance as argument number 1 |
![]() |
(documentation Defecation EnglishLanguage "Defecation is a type of Excreting that discharges Feces") | Mid-level-ontology.kif 2605-2606 | |
(subclass Defecation Excreting) | Mid-level-ontology.kif 2604-2604 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Defecation "defecation") | Mid-level-ontology.kif 2607-2607 |
antecedent |
![]() |
(=> (instance ?PROC Defecation) (exists (?FECES) (and (instance ?FECES Feces) (objectTransferred ?PROC ?FECES)))) |
Mid-level-ontology.kif 2609-2614 |
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 5117-5132 | |
(=> (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 2645-2659 | |
(=> (instance ?X Toilet) (hasPurpose ?X (exists (?PROC) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (destination ?PROC ?X))))) |
Mid-level-ontology.kif 2672-2680 |
![]() |
![]() |