Feces - Sigma 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 2538-2539
(subclass Feces Excrement)	Mid-level-ontology.kif 2537-2537	subclass Feces and Excrement

appearance as argument number 2

(termFormat EnglishLanguage Feces "feces")

Mid-level-ontology.kif 2540-2540

antecedent

(=> (instance ?X Feces) (attribute ?X Solid))	Mid-level-ontology.kif 2542-2544	instance Object and Feces attribute Object and Solid
(=> (instance ?X Feces) (exists (?PROC ?INT) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?INT) (instance ?INT Intestine) (result ?PROC ?X))))	Mid-level-ontology.kif 2546-2553	instance Entity and Feces Process Object instance Process and PhysiologicProcess instrument Process and Object instance Object and Intestine result Process and Entity

consequent

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

Mid-level-ontology.kif 2606-2611