![]() |
![]() ![]() ![]()
|
![]() |
|
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 2184-2186 | |
(subclass AirEngineCoolingSystem EngineCoolingSystem) | Cars.kif 2182-2182 | AirEngineCoolingSystem は EngineCoolingSystem の subclass では %n |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage AirEngineCoolingSystem "air cooling system") | Cars.kif 2183-2183 |
antecedent |
![]() |
(=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A)))) |
Cars.kif 2188-2196 |
![]() |
![]() |