Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass WashBasin WashingDevice) Mid-level-ontology.kif 10250-10250 Wash basin is a subclass of washing device
(documentation WashBasin EnglishLanguage "A WashingDevice which is intended to be used by Humans for washing their Hands.") Mid-level-ontology.kif 10251-10252 Wash basin is a subclass of washing device
(externalImage WashBasin "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Multi_user_sink.jpg") pictureList.kif 4849-4849 Wash basin is a subclass of washing device

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


(termFormat EnglishLanguage WashBasin "wash basin") domainEnglishFormat.kif 62248-62248
(termFormat ChineseTraditionalLanguage WashBasin "洗手盆") domainEnglishFormat.kif 62249-62249
(termFormat ChineseLanguage WashBasin "洗手盆") domainEnglishFormat.kif 62250-62250

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 10254-10262 If X is an instance of wash basin, then X has the purpose there exist Y, Z such that Y is an instance of washing, X is an instrument for Y, Z is a patient of Y, and Z is an instance of hand

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


(=>
    (instance ?B Bathroom)
    (exists (?W)
        (and
            (instance ?W WashBasin)
            (located ?W ?B))))		 Mid-level-ontology.kif 17096-17101 If X is an instance of bathroom, then there exists Y such that Y is an instance of wash basin and Y is located at X
(=>
    (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 313-330 If X is an instance of wet bar, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of wash basin (3) Y is a part of X (4) Z is an instance of object (5) flat is an attribute of Z (6) Z has the purpose there exist W (7) V such that W is an instance of making (8) V is a result of W (9) V is an instance of food or V is an instance of beverage (10) W is located at Z (11) Z is a part of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners