(subclass RailroadCompany TransportationCompany) | Transportation.kif 3219-3219 | Railroad company is a subclass of transportation company |
(subclass ClassIRailroad RailroadCompany) | Transportation.kif 3233-3233 | ClassI railroad is a subclass of railroad company |
(subclass ClassIIRailroad RailroadCompany) | Transportation.kif 3239-3239 | ClassII railroad is a subclass of railroad company |
(subclass ClassIIIRailroad RailroadCompany) | Transportation.kif 3245-3245 | ClassIII railroad is a subclass of railroad company |