|
|
   EngineFan
|
|
|
| appearance as argument number 1 |
|
|
| (documentation EngineFan EnglishLanguage "A FanDevice that is part of an Engine, designed for Cooling the engine, and therefore distinguished from fans that are for moving Air in the passenger compartment of an Automobile.") | Cars.kif 2754-2756 | |
| (subclass EngineFan FanDevice) | Cars.kif 2752-2752 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EngineFan "engine fan") | Cars.kif 2753-2753 |
| antecedent |
|
|
| (=> (and (instance ?FB FanBelt) (instance ?EF EngineFan) (instance ?A Automobile) (part ?FB ?A) (part ?EF ?A) (instance ?M Motion) (patient ?M ?FB)) (hasPurpose ?FB (exists (?M2) (and (instance ?M2 Rotating) (causes ?M ?M2) (patient ?M2 ?EF))))) |
Cars.kif 2736-2750 | |
| (=> (instance ?EF EngineFan) (hasPurpose ?EF (exists (?C ?E ?A) (and (instance ?A Automobile) (instance ?C Cooling) (instance ?E InternalCombustionEngine) (part ?E ?A) (part ?EF ?A) (instrument ?C ?EF) (patient ?C ?E))))) |
Cars.kif 2758-2769 |
|
|
|