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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 8542-8543
(externalImage WashBasin "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Multi_user_sink.jpg") pictureList.kif 4851-4851
(subclass WashBasin WashingDevice) Mid-level-ontology.kif 8541-8541 subclass WashBasin and WashingDevice

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


(termFormat ChineseLanguage WashBasin "洗手盆") domainEnglishFormat.kif 62231-62231
(termFormat ChineseTraditionalLanguage WashBasin "洗手盆") domainEnglishFormat.kif 62230-62230
(termFormat EnglishLanguage WashBasin "wash basin") domainEnglishFormat.kif 62229-62229

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 8545-8553

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


(=>
    (instance ?B Bathroom)
    (exists (?W)
        (and
            (instance ?W WashBasin)
            (located ?W ?B))))
Mid-level-ontology.kif 13208-13213
(=>
    (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))))
Mid-level-ontology.kif 25182-25199


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