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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WashBasin

Sigma KEE - WashBasin
WashBasin

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


(documentation WashBasin EnglishLanguage "A WashingDevice which is intended to be used by Humans for washing their Hands.") Mid-level-ontology.kif 8884-8885
(externalImage WashBasin "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Multi_user_sink.jpg") pictureList.kif 4850-4850
(subclass WashBasin WashingDevice) Mid-level-ontology.kif 8883-8883 WashBasinWashingDevicesubclass では %n

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


(termFormat ChineseLanguage WashBasin "洗手盆") domainEnglishFormat.kif 62247-62247
(termFormat ChineseTraditionalLanguage WashBasin "洗手盆") domainEnglishFormat.kif 62246-62246
(termFormat EnglishLanguage WashBasin "wash basin") domainEnglishFormat.kif 62245-62245

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


(=>
    (instance ?B WashBasin)
    (hasPurpose ?B
        (exists (?W ?H)
            (and
                (instance ?W Washing)
                (instrument ?W ?B)
                (patient ?W ?H)
                (instance ?H Hand)))))
Mid-level-ontology.kif 8887-8895

consequent
-------------------------


(=>
    (instance ?B Bathroom)
    (exists (?W)
        (and
            (instance ?W WashBasin)
            (located ?W ?B))))
Mid-level-ontology.kif 15497-15502
(=>
    (instance ?X WetBar)
    (exists (?SINK ?OBJ)
        (and
            (instance ?SINK WashBasin)
            (part ?SINK ?X)
            (instance ?OBJ Object)
            (attribute ?OBJ Flat)
            (hasPurpose ?OBJ
                (exists (?PREP ?FOOD)
                    (and
                        (instance ?PREP Making)
                        (result ?PREP ?FOOD)
                        (or
                            (instance ?FOOD PreparedFood)
                            (instance ?FOOD Beverage))
                        (eventLocated ?PREP ?OBJ))))
            (part ?OBJ ?X))))
Food.kif 331-348


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