(subclass RailroadCompany TransportationCompany) | Transportation.kif 3219-3219 | RailroadCompany e' uma sub-classe de TransportationCompany |
(subclass ClassIRailroad RailroadCompany) | Transportation.kif 3233-3233 | ClassIRailroad e' uma sub-classe de RailroadCompany |
(subclass ClassIIRailroad RailroadCompany) | Transportation.kif 3239-3239 | ClassIIRailroad e' uma sub-classe de RailroadCompany |
(subclass ClassIIIRailroad RailroadCompany) | Transportation.kif 3245-3245 | ClassIIIRailroad e' uma sub-classe de RailroadCompany |