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