| 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 7729-7730 | |
| (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 7728-7728 | subclass WashBasin and WashingDevice |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage WashBasin "洗手盆") | domainEnglishFormat.kif 62213-62213 | |
| (termFormat ChineseTraditionalLanguage WashBasin "洗手盆") | domainEnglishFormat.kif 62212-62212 | |
| (termFormat EnglishLanguage WashBasin "wash basin") | domainEnglishFormat.kif 62211-62211 |
| 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 7732-7740 |
| consequent |
|
|
| (=> (instance ?B Bathroom) (exists (?W) (and (instance ?W WashBasin) (located ?W ?B)))) |
Mid-level-ontology.kif 12229-12234 | |
| (=> (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 23158-23175 |
|
|
|
|