Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Excreting(excreting) |  | egest, eliminate, empty, evacuate, excrete, pass, void |
| appearance as argument number 1 |
|
|
| (subclass Excreting OrganismProcess) | Mid-level-ontology.kif 2711-2711 | Excreting is a subclass of organism process |
| (subclass Excreting Removing) | Mid-level-ontology.kif 2712-2712 | 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 2713-2714 | 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 2717-2726 | 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 |
|