Defecation
|
|
appearance as argument number 1 |
(documentation Defecation EnglishLanguage "Defecation is a type of Excreting that discharges Feces") | Mid-level-ontology.kif 2142-2143 | |
(subclass Defecation Excreting) | Mid-level-ontology.kif 2141-2141 | Defecation は Excreting の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage Defecation "defecation") | Mid-level-ontology.kif 2144-2144 |
antecedent |
(=> (instance ?PROC Defecation) (exists (?FECES) (and (instance ?FECES Feces) (objectTransferred ?PROC ?FECES)))) |
Mid-level-ontology.kif 2146-2151 |
|
consequent |