Defecation(defecation) | ![]() | dung |
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 | Defecation is a subclass of excreting |
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 |
![]() |
![]() |
![]() |