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 8911-8912 | |
(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 8910-8910 |
appearance as argument number 2 |
(termFormat ChineseLanguage WashBasin "洗手盆") | domainEnglishFormat.kif 62249-62249 | |
(termFormat ChineseTraditionalLanguage WashBasin "洗手盆") | domainEnglishFormat.kif 62248-62248 | |
(termFormat EnglishLanguage WashBasin "wash basin") | domainEnglishFormat.kif 62247-62247 |
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 8914-8922 |
consequent |
(=> (instance ?B Bathroom) (exists (?W) (and (instance ?W WashBasin) (located ?W ?B)))) |
Mid-level-ontology.kif 15524-15529 | |
(=> (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 |