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 2271-2271 | Clothes washing machine is a subclass of major appliance |
(subclass ClothesWashingMachine WashingDevice) | Mid-level-ontology.kif 25666-25666 | Clothes washing machine is a subclass of washing device |
appearance as argument number 2 |
(termFormat ChineseLanguage ClothesWashingMachine "洗衣机") | domainEnglishFormat.kif 15274-15274 | |
(termFormat ChineseTraditionalLanguage ClothesWashingMachine "洗衣機") | domainEnglishFormat.kif 15273-15273 | |
(termFormat EnglishLanguage ClothesWashingMachine "clothes washing machine") | domainEnglishFormat.kif 15272-15272 |
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 25690-25699 |
|