No TPTP formula. May not be expressible in strict first order. | Cars.kif 2771-2771 | WaterPump est une sous-classe de Pump |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2785-2785 | EngineWaterPump est une sous-classe de WaterPump |