Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Feces(feces) |  | BM, cow_pie, cowpie, crap, dejection, dirt, droppings, dung, faecal_matter, faeces, fecal_matter, feces, fecula, melaena, melena, muck, ordure, pigeon_droppings, poop, shit, shite, stool, turd, wormcast |
| appearance as argument number 1 |
|
|
| (subclass Feces Excrement) | Mid-level-ontology.kif 2675-2675 | Feces is a subclass of excrement |
| (documentation Feces EnglishLanguage "Feces is a type of Solid Excrement evacuated from the bowels") | Mid-level-ontology.kif 2676-2677 | Feces is a subclass of excrement |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Feces "feces") | Mid-level-ontology.kif 2678-2678 |
| antecedent |
|
|
| (=> (instance ?X Feces) (attribute ?X Solid)) |
Mid-level-ontology.kif 2680-2682 | If X is an instance of feces, then solid is an attribute of X |
| (=> (instance ?X Feces) (exists (?PROC ?INT) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?INT) (instance ?INT Intestine) (result ?PROC ?X)))) |
Mid-level-ontology.kif 2684-2691 | If X is an instance of feces, then there exist Y, Z such that Y is an instance of physiologic process, Z is an instrument for Y, Z is an instance of intestine, and X is a result of Y |
| consequent |
|
|
| (=> (instance ?PROC Defecation) (exists (?FECES) (and (instance ?FECES Feces) (objectTransferred ?PROC ?FECES)))) |
Mid-level-ontology.kif 2745-2750 | If X is an instance of defecation, then there exists Y such that Y is an instance of feces and the object transferred in X is Y |
|