Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LiquidEngineCoolingSystem
LiquidEngineCoolingSystem(water cooling system)

appearance as argument number 1
-------------------------


(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 2141-2146
(subclass LiquidEngineCoolingSystem EngineCoolingSystem) Cars.kif 2139-2139 Water cooling system is a subclass of engine cooling system

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage LiquidEngineCoolingSystem "water cooling system") Cars.kif 2140-2140
(typicalPart Radiator LiquidEngineCoolingSystem) Cars.kif 2180-2180 A radiator is typically a part of a water cooling system
(typicallyContainsPart Radiator LiquidEngineCoolingSystem) Cars.kif 2181-2181 A water cooling system typically has a part radiator
(typicallyContainsPart Thermometer LiquidEngineCoolingSystem) Cars.kif 2147-2147 A water cooling system typically has a part thermometer

antecedent
-------------------------


(=>
    (and
        (instance ?LECS LiquidEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?L)
        (and
            (attribute ?L Liquid)
            (objectTransferred ?C ?L))))
Cars.kif 2149-2157


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners