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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquidEngineCoolingSystem

Sigma KEE - LiquidEngineCoolingSystem
LiquidEngineCoolingSystem

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 2158-2163
(subclass LiquidEngineCoolingSystem EngineCoolingSystem) Cars.kif 2156-2156 LiquidEngineCoolingSystemEngineCoolingSystemsubclass では %n

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


(termFormat EnglishLanguage LiquidEngineCoolingSystem "water cooling system") Cars.kif 2157-2157
(typicalPart Radiator LiquidEngineCoolingSystem) Cars.kif 2197-2197 typicalPart Radiator and LiquidEngineCoolingSystem
(typicallyContainsPart Radiator LiquidEngineCoolingSystem) Cars.kif 2198-2198 typicallyContainsPart Radiator and LiquidEngineCoolingSystem
(typicallyContainsPart Thermometer LiquidEngineCoolingSystem) Cars.kif 2164-2164 typicallyContainsPart Thermometer and LiquidEngineCoolingSystem

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


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


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

Show without tree


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