No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3271-3271 | RailroadCompany est une sous-classe de TransportationCompany |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3285-3285 | ClassIRailroad est une sous-classe de RailroadCompany |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3291-3291 | ClassIIRailroad est une sous-classe de RailroadCompany |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3297-3297 | ClassIIIRailroad est une sous-classe de RailroadCompany |