| (subclass EngineCoolingSystem PhysicalSystem) | Cars.kif 2118-2118 | EngineCoolingSystem e' uma sub-classe de PhysicalSystem |
| (subclass LiquidEngineCoolingSystem EngineCoolingSystem) | Cars.kif 2139-2139 | LiquidEngineCoolingSystem e' uma sub-classe de EngineCoolingSystem |
| (subclass AirEngineCoolingSystem EngineCoolingSystem) | Cars.kif 2159-2159 | AirEngineCoolingSystem e' uma sub-classe de EngineCoolingSystem |
|
|