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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Toilet
Toilet

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


(documentation Toilet EnglishLanguage "A Device for the disposal of wastes resulting from urination and defecation.") Mid-level-ontology.kif 2192-2193
(externalImage Toilet "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_7/ toilet_2.png") pictureList.kif 783-783
(subclass Toilet Device) Mid-level-ontology.kif 2191-2191 Toilet e' uma sub-classe de Aparelho

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


(termFormat ChineseLanguage Toilet "厕所") domainEnglishFormat.kif 58336-58336
(termFormat ChineseTraditionalLanguage Toilet "廁所") domainEnglishFormat.kif 58335-58335
(termFormat EnglishLanguage Toilet "toilet") domainEnglishFormat.kif 58334-58334

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


(=>
    (and
        (located ?T ?R)
        (instance ?T Toilet)
        (instance ?R Room))
    (instance ?R Bathroom))
Mid-level-ontology.kif 2195-2200
(=>
    (instance ?X Toilet)
    (hasPurpose ?X
        (exists (?PROC)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (destination ?PROC ?X)))))
Mid-level-ontology.kif 2202-2210


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