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 8883-8884 | |
(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 8882-8882 | 洗手盆 是 洗涤设备 的 subclass |
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 8886-8894 |
consequent |
(=> (instance ?B Bathroom) (exists (?W) (and (instance ?W WashBasin) (located ?W ?B)))) |
Mid-level-ontology.kif 15496-15501 | |
(=> (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 |
|