|
|
   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 | 子類 Defecation and Excreting |
| 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 |
|
|
|