| FanDevice(fan device) | | blower, electric_fan, exhaust_fan, fan, punkah |
| appearance as argument number 1 |
|
|
| (documentation FanDevice EnglishLanguage "A CoolingDevice which consists simply of one or more blades that circulate the air. Note that this class covers both electrical fans and fans that are manually operated.") | Mid-level-ontology.kif 2287-2289 | |
| (subclass FanDevice CoolingDevice) | Mid-level-ontology.kif 2286-2286 | Fan device is a subclass of cooling device |
| appearance as argument number 2 |
|
|
| (subclass EngineFan FanDevice) | Cars.kif 2729-2729 | Engine fan is a subclass of fan device |
| (termFormat ChineseLanguage FanDevice "风扇装置") | domainEnglishFormat.kif 23274-23274 | Engine fan is a subclass of fan device |
| (termFormat ChineseTraditionalLanguage FanDevice "風扇裝置") | domainEnglishFormat.kif 23273-23273 | Engine fan is a subclass of fan device |
| (termFormat EnglishLanguage FanDevice "fan device") | domainEnglishFormat.kif 23272-23272 | Engine fan is a subclass of fan device |
| antecedent |
|
|
| (=> (instance ?F FanDevice) (hasPurpose ?F (exists (?W) (and (instance ?W Wind) (instrument ?W ?F))))) |
Mid-level-ontology.kif 2290-2296 |
|
|
|
|