| Defecation | |
| appearance as argument number 1 |
|
|
| (documentation Defecation EnglishLanguage "Defecation is a type of Excretion that discharges Feces") | Mid-level-ontology.kif 2602-2603 | |
| (subclass Defecation Excretion) | Mid-level-ontology.kif 2601-2601 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Defecation "defecation") | Mid-level-ontology.kif 2604-2604 |
| antecedent |
|
|
| (=> (instance ?PROC Defecation) (exists (?FECES) (and (instance ?FECES Feces) (patient ?PROC ?FECES)))) |
Mid-level-ontology.kif 2606-2611 |
| consequent |
|
|
| (=> (instance ?X Bidet) (hasPurpose ?X (exists (?PROC ?WASH ?PART) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (instrument ?PROC ?PART) (instance ?WASH Washing) (patient ?WASH ?PART) (instrument ?WASH ?X) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn ?WASH))))))) |
Mid-level-ontology.kif 2643-2657 | |
| (=> (instance ?X Toilet) (hasPurpose ?X (exists (?PROC) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (destination ?PROC ?X))))) |
Mid-level-ontology.kif 2670-2678 |
|
|
|