Bidet - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Bidet EnglishLanguage "Bidet is a WashingDevice intended for washing genitals and the anal area while on the toilet")	Mid-level-ontology.kif 2171-2172
(subclass Bidet WashingDevice)	Mid-level-ontology.kif 2170-2170	Bidet is a subclass of washing device

appearance as argument number 2

(termFormat EnglishLanguage Bidet "bidet")

Mid-level-ontology.kif 2173-2173

antecedent

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

If a physical is an instance of bidet,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of defecation or the entity is an instance of urination and the third entity is an instrument for the entity and the other entity is an instance of washing and the object transferred in the other entity is the third entity and the physical is an instrument for the other entity and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: