CleaningDevice |
appearance as argument number 1 |
(documentation CleaningDevice EnglishLanguage "Any Device whose purpose is Cleaning something.") | Mid-level-ontology.kif 5588-5588 | |
(subclass CleaningDevice Device) | Mid-level-ontology.kif 5587-5587 |
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 5590-5596 |