Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Defecation
Defecation(defecation)dung

appearance as argument number 1
-------------------------


(documentation Defecation EnglishLanguage "Defecation is a type of Excretion that discharges Feces") Mid-level-ontology.kif 2596-2597
(subclass Defecation Excretion) Mid-level-ontology.kif 2595-2595 Defecation is a subclass of excretion

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Defecation "defecation") Mid-level-ontology.kif 2598-2598

antecedent
-------------------------


(=>
    (instance ?PROC Defecation)
    (exists (?FECES)
        (and
            (instance ?FECES Feces)
            (patient ?PROC ?FECES))))
Mid-level-ontology.kif 2600-2605

consequent
-------------------------


(=>
    (instance ?X Bidet)
    (hasPurpose ?X
        (exists (?PROC ?WASH ?PART)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (instrument ?PROC ?PART)
                (instance ?WASH Washing)
                (patient ?WASH ?PART)
                (instrument ?WASH ?X)
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn ?WASH)))))))
Mid-level-ontology.kif 2637-2651
(=>
    (instance ?X Toilet)
    (hasPurpose ?X
        (exists (?PROC)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (destination ?PROC ?X)))))
Mid-level-ontology.kif 2664-2672


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners