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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Toilet

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 2199-2200
(externalImage Toilet "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_7/ toilet_2.png") pictureList.kif 783-783
(subclass Toilet Device) Mid-level-ontology.kif 2198-2198 Toiletデバイスsubclass では %n

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


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

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


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


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