No TPTP formula. May not be expressible in strict first order. | Cars.kif 2118-2118 | EngineCoolingSystem est une sous-classe de PhysicalSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2139-2139 | LiquidEngineCoolingSystem est une sous-classe de EngineCoolingSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2159-2159 | AirEngineCoolingSystem est une sous-classe de EngineCoolingSystem |