EngineWaterPump
|
|
appearance as argument number 1 |
(documentation EngineWaterPump EnglishLanguage "A WaterPump that is intended to move Water (and possibly other additives such as Alcohol to lower the meltingPoint) in the EngineCoolingSystem.") | Cars.kif 2764-2766 | |
(subclass EngineWaterPump WaterPump) | Cars.kif 2762-2762 | |
(typicalPart EngineWaterPump EngineCoolingSystem) | Cars.kif 2768-2768 | |
(typicallyContainsPart EngineWaterPump EngineCoolingSystem) | Cars.kif 2769-2769 |
appearance as argument number 2 |
(termFormat EnglishLanguage EngineWaterPump "engine water pump") | Cars.kif 2763-2763 |