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 |