| ClothesDryer(clothes dryer)
| | clothes_drier, clothes_dryer, drier, dryer, mangle, spin_drier, spin_dryer, tumble-dryer, tumble_drier, wringer |
| appearance as argument number 1 |
|
|
| (externalImage ClothesDryer "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Electric_Clothes_dryer.jpg") | pictureList.kif 4614-4614 | |
| (externalImage ClothesDryer "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d3/ Electric_Clothes_dryer.jpg/ 180px-Electric_Clothes_dryer.jpg") | pictureList.kif 1074-1074 | |
| (subclass ClothesDryer DryingDevice) | Mid-level-ontology.kif 25664-25664 | Clothes dryer is a subclass of drying device |
| (subclass ClothesDryer MajorAppliance) | Mid-level-ontology.kif 2272-2272 | Clothes dryer is a subclass of major appliance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ClothesDryer "干衣机") | domainEnglishFormat.kif 15263-15263 | |
| (termFormat ChineseTraditionalLanguage ClothesDryer "乾衣機") | domainEnglishFormat.kif 15262-15262 | |
| (termFormat EnglishLanguage ClothesDryer "clothes dryer") | domainEnglishFormat.kif 15261-15261 |
| 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 |
|
|
|
|