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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WashBasin

Sigma KEE - WashBasin
WashBasin(wash basin)
basin, kitchen_sink, lavatory, sink, washbasin, washbowl, washstand

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 8567-8568
(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 8566-8566 Wash basin is a subclass of washing device

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


(termFormat ChineseLanguage WashBasin "洗手盆") domainEnglishFormat.kif 62134-62134
(termFormat ChineseTraditionalLanguage WashBasin "洗手盆") domainEnglishFormat.kif 62133-62133
(termFormat EnglishLanguage WashBasin "wash basin") domainEnglishFormat.kif 62132-62132

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 8570-8578

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


(=>
    (instance ?B Bathroom)
    (exists (?W)
        (and
            (instance ?W WashBasin)
            (located ?W ?B))))
Mid-level-ontology.kif 13233-13238
(=>
    (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 25203-25220


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners