CleaningDevice
|
|
appearance as argument number 1 |
(documentation CleaningDevice EnglishLanguage "Any Device whose purpose is Cleaning something.") | Mid-level-ontology.kif 5583-5583 | |
(subclass CleaningDevice Device) | Mid-level-ontology.kif 5582-5582 | CleaningDevice est une sous-classe de appareil |
appearance as argument number 2 |
(termFormat ChineseLanguage CleaningDevice "清洁设备") | domainEnglishFormat.kif 15090-15090 | |
(termFormat ChineseTraditionalLanguage CleaningDevice "清潔設備") | domainEnglishFormat.kif 15089-15089 | |
(termFormat EnglishLanguage CleaningDevice "cleaning device") | domainEnglishFormat.kif 15088-15088 |
antecedent |
(=> (instance ?D CleaningDevice) (hasPurpose ?D (exists (?C) (and (instance ?C Cleaning) (instrument ?C ?D))))) |
Mid-level-ontology.kif 5585-5591 |