ClothesWashingMachine(clothes washing machine)![]() | ![]() | automatic_washer, washer, washing_machine |
appearance as argument number 1 |
![]() |
(externalImage ClothesWashingMachine "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ f/ fb/ Laundromat_ontario.jpg/ 180px_Laundromat_ontario.jpg") | pictureList.kif 1075-1075 | |
(subclass ClothesWashingMachine MajorAppliance) | Mid-level-ontology.kif 2344-2344 | Clothes washing machine is a subclass of major appliance |
(subclass ClothesWashingMachine WashingDevice) | Mid-level-ontology.kif 26497-26497 | Clothes washing machine is a subclass of washing device |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage ClothesWashingMachine "洗衣机") | domainEnglishFormat.kif 15273-15273 | |
(termFormat ChineseTraditionalLanguage ClothesWashingMachine "洗衣機") | domainEnglishFormat.kif 15272-15272 | |
(termFormat EnglishLanguage ClothesWashingMachine "clothes washing machine") | domainEnglishFormat.kif 15271-15271 |
consequent |
![]() |
(=> (instance ?ROOM SelfServiceLaundry) (exists (?WASHER ?DRYER) (and (instance ?WASHER Collection) (memberType ?WASHER ClothesWashingMachine) (located ?WASHER ?ROOM) (instance ?DRYER Collection) (memberType ?DRYER ClothesDryer) (located ?DRYER ?ROOM)))) |
Mid-level-ontology.kif 26521-26530 |
|
![]() |
![]() |