(subclass EngineCoolingSystem PhysicalSystem) | Cars.kif 2118-2118 | Engine cooling system is a subclass of physical system |
(subclass LiquidEngineCoolingSystem EngineCoolingSystem) | Cars.kif 2139-2139 | Water cooling system is a subclass of engine cooling system |
(subclass AirEngineCoolingSystem EngineCoolingSystem) | Cars.kif 2159-2159 | Air cooling system is a subclass of engine cooling system |