|
|
   Radiator
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Radiator EnglishLanguage "A Device which is designed for having a Liquid travel through a metal honeycomb, in order to cool the liquid, which in turn is used to cool something else.") | Cars.kif 2200-2202 | |
| (subclass Radiator EngineeringComponent) | Cars.kif 2198-2198 | 子類 Radiator and EngineeringComponent |
| (typicalPart Radiator LiquidEngineCoolingSystem) | Cars.kif 2203-2203 | Radiator typically 是 LiquidEngineCoolingSystem 的 part |
| (typicallyContainsPart Radiator LiquidEngineCoolingSystem) | Cars.kif 2204-2204 | LiquidEngineCoolingSystem typically 有 part Radiator |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Radiator "radiator") | Cars.kif 2199-2199 |
| antecedent |
|
|
| (=> (instance ?R Radiator) (hasPurpose ?R (exists (?C) (and (instance ?C Cooling) (instrument ?C ?R))))) |
Cars.kif 2206-2212 |
|
|
|