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 2177-2179 | |
(subclass Radiator EngineeringComponent) | Cars.kif 2175-2175 | |
(typicalPart Radiator LiquidEngineCoolingSystem) | Cars.kif 2180-2180 | |
(typicallyContainsPart Radiator LiquidEngineCoolingSystem) | Cars.kif 2181-2181 |
appearance as argument number 2 |
(termFormat EnglishLanguage Radiator "radiator") | Cars.kif 2176-2176 |
antecedent |
(=> (instance ?R Radiator) (hasPurpose ?R (exists (?C) (and (instance ?C Cooling) (instrument ?C ?R))))) |
Cars.kif 2183-2189 |