|
|
   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 2141-2146 | |
| (subclass LiquidEngineCoolingSystem EngineCoolingSystem) | Cars.kif 2139-2139 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LiquidEngineCoolingSystem "water cooling system") | Cars.kif 2140-2140 | |
| (typicalPart Radiator LiquidEngineCoolingSystem) | Cars.kif 2180-2180 | |
| (typicallyContainsPart Radiator LiquidEngineCoolingSystem) | Cars.kif 2181-2181 | |
| (typicallyContainsPart Thermometer LiquidEngineCoolingSystem) | Cars.kif 2147-2147 |
| antecedent |
|
|
| (=> (and (instance ?LECS LiquidEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?L) (and (attribute ?L Liquid) (objectTransferred ?C ?L)))) |
Cars.kif 2149-2157 |
|
|
|