| ClothesDryer
| |
| appearance as argument number 1 |
|
|
| (externalImage ClothesDryer "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Electric_Clothes_dryer.jpg") | pictureList.kif 4615-4615 | |
| (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 25433-25433 | ClothesDryer est une sous-classe de DryingDevice |
| (subclass ClothesDryer MajorAppliance) | Mid-level-ontology.kif 2272-2272 | ClothesDryer est une sous-classe de MajorAppliance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ClothesDryer "干衣机") | domainEnglishFormat.kif 15252-15252 | |
| (termFormat ChineseTraditionalLanguage ClothesDryer "乾衣機") | domainEnglishFormat.kif 15251-15251 | |
| (termFormat EnglishLanguage ClothesDryer "clothes dryer") | domainEnglishFormat.kif 15250-15250 |
| 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 25459-25468 |
|
|
|
|