(subclass RailroadCompany TransportationCompany) | Transportation.kif 3219-3219 | 铁路公司 是 运输公司 的 subclass |
(subclass ClassIRailroad RailroadCompany) | Transportation.kif 3233-3233 | ClassI铁路 是 铁路公司 的 subclass |
(subclass ClassIIRailroad RailroadCompany) | Transportation.kif 3239-3239 | 二级铁路 是 铁路公司 的 subclass |
(subclass ClassIIIRailroad RailroadCompany) | Transportation.kif 3245-3245 | 三级铁路 是 铁路公司 的 subclass |