Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Excrement(excrement) |  | body_waste, excrement, excreta, excretion, excretory_product, human_waste |
| appearance as argument number 1 |
|
|
| (subclass Excrement BodySubstance) | Mid-level-ontology.kif 2661-2661 | Excrement is a subclass of body substance |
| (documentation Excrement EnglishLanguage "Excrement refers to the waste matter that is discharged from the body") | Mid-level-ontology.kif 2662-2663 | Excrement is a subclass of body substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X Excrement) (exists (?PROC ?ORG) (and (instance ?ORG Organism) (instance ?PROC PhysiologicProcess) (result ?PROC ?X) (agent ?PROC ?ORG)))) |
Mid-level-ontology.kif 2666-2673 | If X is an instance of excrement, then there exist Y, Z such that Z is an instance of organism, Y is an instance of physiologic process, X is a result of Y, and Z is an agent of Y |
| consequent |
|
|
| (=> (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 |
|