(subclass RailroadCompany TransportationCompany) | Transportation.kif 3219-3219 | RailroadCompany est une sous-classe de TransportationCompany |
(subclass ClassIRailroad RailroadCompany) | Transportation.kif 3233-3233 | ClassIRailroad est une sous-classe de RailroadCompany |
(subclass ClassIIRailroad RailroadCompany) | Transportation.kif 3239-3239 | ClassIIRailroad est une sous-classe de RailroadCompany |
(subclass ClassIIIRailroad RailroadCompany) | Transportation.kif 3245-3245 | ClassIIIRailroad est une sous-classe de RailroadCompany |