WashingDevice(washing device) |
appearance as argument number 1 |
![]() |
(documentation WashingDevice EnglishLanguage "Any Device whose purpose is Washing something, e.g. washing machines, dishwashers, bathtubs, etc.") | Mid-level-ontology.kif 2517-2518 | |
(subclass WashingDevice Device) | Mid-level-ontology.kif 2516-2516 | Washing device is a subclass of device |
appearance as argument number 2 |
![]() |
(subclass BathingDevice WashingDevice) | Mid-level-ontology.kif 9641-9641 | Bathing device is a subclass of washing device |
(subclass Bidet WashingDevice) | Mid-level-ontology.kif 2243-2243 | Bidet is a subclass of washing device |
(subclass ClothesWashingMachine WashingDevice) | Mid-level-ontology.kif 26497-26497 | Clothes washing machine is a subclass of washing device |
(subclass WashBasin WashingDevice) | Mid-level-ontology.kif 9656-9656 | Wash basin is a subclass of washing device |
(termFormat ChineseLanguage WashingDevice "洗涤设备") | domainEnglishFormat.kif 62288-62288 | Wash basin is a subclass of washing device |
(termFormat ChineseTraditionalLanguage WashingDevice "洗滌設備") | domainEnglishFormat.kif 62287-62287 | Wash basin is a subclass of washing device |
(termFormat EnglishLanguage WashingDevice "washing device") | domainEnglishFormat.kif 62286-62286 | Wash basin is a subclass of washing device |
antecedent |
![]() |
(=> (instance ?D WashingDevice) (hasPurpose ?D (exists (?W) (and (instance ?W Washing) (instrument ?W ?D))))) |
Mid-level-ontology.kif 2520-2526 |
|
![]() |
![]() |