TreeView 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 2178-2179
(subclass Bidet WashingDevice)	Mid-level-ontology.kif 2177-2177	Bidet is a subclass of washing device

appearance as argument number 2

(termFormat EnglishLanguage Bidet "bidet")

Mid-level-ontology.kif 2180-2180

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 2182-2196

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: