CottonwoodTree
|
|
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 è una sottoclasse di EngineCoolingSystem |
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 |
|