| Excreting(excreting) | | egest, eliminate, empty, evacuate, excrete, pass, void |
| appearance as argument number 1 |
|
|
| (subclass Excreting OrganismProcess) | Mid-level-ontology.kif 2593-2593 | Excreting is a subclass of organism process |
| (subclass Excreting Removing) | Mid-level-ontology.kif 2594-2594 | Excreting is a subclass of removing |
| (documentation Excreting EnglishLanguage "Excreting is a type of OrganismProcess that discharges waste from tissues, organs or the body") | Mid-level-ontology.kif 2595-2596 | Excreting is a subclass of removing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PROC Excreting) (exists (?ORG ?WASTE ?PART) (and (instance ?ORG Organism) (agent ?PROC ?ORG) (patient ?PROC ?WASTE) (instance ?WASTE Excrement) (instance ?PART BodyPart) (instrument ?PROC ?PART)))) |
Mid-level-ontology.kif 2599-2608 | If X is an instance of excreting, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of organism (3) Y is an agent of X (4) Z is a patient of X (5) Z is an instance of excrement (6) W is an instance of body part (7) W is an instrument for X |
|
|
|