|
|
   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 |
| 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 |
|
|
|