|
|
   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 8558-8559 | |
| (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 8557-8557 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WashBasin "wash basin") | domainEnglishFormat.kif 10799-10799 |
| 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 8561-8569 |
| consequent |
|
|
| (=> (instance ?B Bathroom) (exists (?W) (and (instance ?W WashBasin) (located ?W ?B)))) |
Mid-level-ontology.kif 13181-13186 | |
| (=> (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 25058-25075 |
|
|
|
