Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Defecation
Defecation(defecation)dung

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


(subclass Defecation Excreting) Mid-level-ontology.kif 2740-2740 Defecation is a subclass of excreting
(documentation Defecation EnglishLanguage "Defecation is a type of Excreting that discharges Feces") Mid-level-ontology.kif 2741-2742 Defecation is a subclass of excreting

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


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

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


(=>
    (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

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


(=>
    (instance ?X Bidet)
    (hasPurpose ?X
        (exists (?PROC ?WASH ?PART)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (instrument ?PROC ?PART)
                (instance ?WASH Washing)
                (objectTransferred ?WASH ?PART)
                (instrument ?WASH ?X)
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn ?WASH)))))))		 Mid-level-ontology.kif 2781-2795 If X is an instance of bidet, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of defecation or Y is an instance of urination (3) W is an instrument for Y (4) Z is an instance of washing (5) the object transferred in Z is W (6) X is an instrument for Z (7) the beginning of the time of existence of Y happens before the beginning of the time of existence of Z
(=>
    (instance ?X Toilet)
    (hasPurpose ?X
        (exists (?PROC)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (destination ?PROC ?X)))))		 Mid-level-ontology.kif 2808-2816 If X is an instance of toilet, then X has the purpose there exists Y such that Y is an instance of defecation or Y is an instance of urination and Y ends up at X
(=>
    (holdsDuring ?T
        (attribute ?H RectalTenesmus))
    (holdsDuring ?T
        (and
            (desires ?H
                (exists (?D)
                    (and
                        (instance ?D Defecation)
                        (agent ?D ?H))))
            (not
                (modalAttribute
                    (exists (?D)
                        (and
                            (instance ?D Defecation)
                            (agent ?D ?H))) Necessity)))))		 Medicine.kif 5131-5146 If rectal tenesmus is an attribute of X holds during Y, then X desires there exists Z such that Z is an instance of defecation, X is an agent of Z, the statement there doesn't exist Z such that Z is an instance of defecation, and X is an agent of Z doesn't have the modal force of necessity holds during Y


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners