| 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 |
|
|
|
|