No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3219-3219 | RailroadCompany e' uma sub-classe de TransportationCompany |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3233-3233 | ClassIRailroad e' uma sub-classe de RailroadCompany |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3239-3239 | ClassIIRailroad e' uma sub-classe de RailroadCompany |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3245-3245 | ClassIIIRailroad e' uma sub-classe de RailroadCompany |