|
|
   AirEngineCoolingSystem
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AirEngineCoolingSystem EnglishLanguage "A kind of EngineCoolingSystem less commonly found in Automobiles than a LiquidEngineCoolingSystem. It uses a Air to cool the Engine.") | Cars.kif 2161-2163 | |
| (subclass AirEngineCoolingSystem EngineCoolingSystem) | Cars.kif 2159-2159 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AirEngineCoolingSystem "air cooling system") | Cars.kif 2160-2160 |
| antecedent |
|
|
| (=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A)))) |
Cars.kif 2165-2173 |
|
|
|