| 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 15101-15101 | |
| (termFormat ChineseTraditionalLanguage CleaningDevice "清潔設備") | domainEnglishFormat.kif 15100-15100 | |
| (termFormat EnglishLanguage CleaningDevice "cleaning device") | domainEnglishFormat.kif 15099-15099 |
| antecedent |
|
|
| (=> (instance ?D CleaningDevice) (hasPurpose ?D (exists (?C) (and (instance ?C Cleaning) (instrument ?C ?D))))) |
Mid-level-ontology.kif 5585-5591 |
|
|
|