TreeView Knowledge Base Browser - LiquidEngineCoolingSystem

appearance as argument number 1

(subclass LiquidEngineCoolingSystem EngineCoolingSystem)	Cars.kif 2007-2007	Water cooling system is a subclass of engine cooling system
(documentation LiquidEngineCoolingSystem EnglishLanguage "A kind of EngineCoolingSystem found in most Automobiles, that uses a liquid coolant to cool the Engine. It consists of a series of tubes through which a coolant can flow, a radiator, a pump, and a temperature sensor that allows the engine to reach a normal operating temperature before starting the cooling mechanism.")	Cars.kif 2009-2014	Water cooling system is a subclass of engine cooling system

appearance as argument number 2

(termFormat EnglishLanguage LiquidEngineCoolingSystem "water cooling system")	Cars.kif 2008-2008
(typicallyContainsPart Thermometer LiquidEngineCoolingSystem)	Cars.kif 2015-2015	A water cooling system typically has a part thermometer
(typicalPart Radiator LiquidEngineCoolingSystem)	Cars.kif 2048-2048	A radiator is typically a part of a water cooling system
(typicallyContainsPart Radiator LiquidEngineCoolingSystem)	Cars.kif 2049-2049	A water cooling system typically has a part radiator

antecedent

(=>
    (and
        (instance ?LECS LiquidEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?L)
        (and
            (attribute ?L Liquid)
            (objectTransferred ?C ?L))))

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