AirEngineCoolingSystem - Sigma Knowledge base Browser

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

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