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 2178-2180 | |
(subclass AirEngineCoolingSystem EngineCoolingSystem) | Cars.kif 2176-2176 | 子類 AirEngineCoolingSystem and EngineCoolingSystem |
appearance as argument number 2 |
(termFormat EnglishLanguage AirEngineCoolingSystem "air cooling system") | Cars.kif 2177-2177 |
antecedent |
(=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A)))) |
Cars.kif 2182-2190 |