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 2540-2541
(subclass Feces Excrement)	Mid-level-ontology.kif 2539-2539	Feces は Excrement の subclass では

appearance as argument number 2

(termFormat EnglishLanguage Feces "feces")

Mid-level-ontology.kif 2542-2542

antecedent

(=> (instance ?X Feces) (attribute ?X Solid))	Mid-level-ontology.kif 2544-2546	オブジェクトは Feces の instance では Solid はオブジェクトの attribute では
(=> (instance ?X Feces) (exists (?PROC ?INT) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?INT) (instance ?INT Intestine) (result ?PROC ?X))))	Mid-level-ontology.kif 2548-2555	エンティティーは Feces の instance では工程オブジェクト工程は生理学的プロセスの instance ではオブジェクトは工程の instrument ではオブジェクトは Intestine の instance ではエンティティーは工程の result では

consequent

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

Mid-level-ontology.kif 2609-2614