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 10090-10091 | |
(externalImage WashBasin "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Multi_user_sink.jpg") | pictureList.kif 4849-4849 | |
(subclass WashBasin WashingDevice) | Mid-level-ontology.kif 10089-10089 | WashBasin は WashingDevice の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage WashBasin "洗手盆") | domainEnglishFormat.kif 62241-62241 | |
(termFormat ChineseTraditionalLanguage WashBasin "洗手盆") | domainEnglishFormat.kif 62240-62240 | |
(termFormat EnglishLanguage WashBasin "wash basin") | domainEnglishFormat.kif 62239-62239 |
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 10093-10101 |
consequent |
![]() |
(=> (instance ?B Bathroom) (exists (?W) (and (instance ?W WashBasin) (located ?W ?B)))) |
Mid-level-ontology.kif 16870-16875 | |
(=> (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 |
|
![]() |
![]() |