(subclass RailroadCompany TransportationCompany) | Transportation.kif 3271-3271 | RailroadCompany è una sottoclasse di TransportationCompany |
(subclass ClassIRailroad RailroadCompany) | Transportation.kif 3285-3285 | ClassIRailroad è una sottoclasse di RailroadCompany |
(subclass ClassIIRailroad RailroadCompany) | Transportation.kif 3291-3291 | ClassIIRailroad è una sottoclasse di RailroadCompany |
(subclass ClassIIIRailroad RailroadCompany) | Transportation.kif 3297-3297 | ClassIIIRailroad è una sottoclasse di RailroadCompany |