| CleaningDevice(cleaning device) | | carpet_sweeper, cleaning_pad, dustpan, mop, pipe_cleaner, pull-through, scouring_pad, scrub_brush, scrubber, scrubbing_brush, soap_pad, sponge_mop, squeegee, swab, sweeper, swob |
| appearance as argument number 1 |
|
|
| (documentation CleaningDevice EnglishLanguage "Any Device whose purpose is Cleaning something.") | Mid-level-ontology.kif 6138-6138 | |
| (subclass CleaningDevice Device) | Mid-level-ontology.kif 6137-6137 | Cleaning device is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CleaningDevice "清洁设备") | domainEnglishFormat.kif 15105-15105 | |
| (termFormat ChineseTraditionalLanguage CleaningDevice "清潔設備") | domainEnglishFormat.kif 15104-15104 | |
| (termFormat EnglishLanguage CleaningDevice "cleaning device") | domainEnglishFormat.kif 15103-15103 |
| antecedent |
|
|
| (=> (instance ?D CleaningDevice) (hasPurpose ?D (exists (?C) (and (instance ?C Cleaning) (instrument ?C ?D))))) |
Mid-level-ontology.kif 6140-6146 |
|
|
|
|