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 2171-2172
(subclass Bidet WashingDevice)	Mid-level-ontology.kif 2170-2170	Bidet e' uma sub-classe de WashingDevice

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

Fisico e' uma instancia de Bidet
Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Defecation Entidade e' uma instancia de Urination Entidade e' um instrumento para Entidade Entidade e' uma instancia de Washing objectTransferred Entidade and Entidade Fisico e' um instrumento para Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade

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: