TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Feces EnglishLanguage "Feces is a type of Solid Excrement evacuated from the bowels")	Mid-level-ontology.kif 2036-2037
(subclass Feces Excrement)	Mid-level-ontology.kif 2035-2035	Feces is a subclass of excrement

appearance as argument number 2

(termFormat EnglishLanguage Feces "feces")

Mid-level-ontology.kif 2038-2038

antecedent

(=> (instance ?X Feces) (attribute ?X Solid))	Mid-level-ontology.kif 2040-2042	If an object is an instance of feces, then solid is an attribute of the object
(=> (instance ?X Feces) (exists (?PROC ?INT) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?INT) (instance ?INT Intestine) (result ?PROC ?X))))	Mid-level-ontology.kif 2044-2051	If an entity is an instance of feces, then there exist a process and an object such that the process is an instance of physiologic process and the object is an instrument for the process and the object is an instance of intestine and the entity is a result of the process

consequent

(=>
    (instance ?PROC Defecation)
    (exists (?FECES)
        (and
            (instance ?FECES Feces)
            (objectTransferred ?PROC ?FECES))))

Mid-level-ontology.kif 2105-2110

If a transfer is an instance of defecation,
then there exists an object such that the object is an instance of feces and the object transferred in the transfer is the object