|
|
   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 | CleaningDevice ist eine teilkategorie von Device |
| 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 |
|
|
|
|