AirEngineCoolingSystem - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AirEngineCoolingSystem EngineCoolingSystem)	Cars.kif 2166-2166	Air cooling system is a subclass of engine cooling system
(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 2168-2170	Air cooling system is a subclass of engine cooling system

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?LECS AirEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?A)
        (and
            (instance ?A Air)
            (objectTransferred ?C ?A))))

If X is an instance of air cooling system, Y is an instance of cooling, and X is an instrument for Y, then there exists Z such that Z is an instance of air and the object transferred in Y is Z