RailroadCompany
|
|
appearance as argument number 1 |
(documentation RailroadCompany EnglishLanguage "Any TransportationCompany whose services include Transportation by Train.") | Transportation.kif 3220-3221 | |
(subclass RailroadCompany TransportationCompany) | Transportation.kif 3219-3219 | 铁路公司 是 运输公司 的 subclass |
appearance as argument number 2 |
(subclass ClassIIIRailroad RailroadCompany) | Transportation.kif 3245-3245 | 三级铁路 是 铁路公司 的 subclass |
(subclass ClassIIRailroad RailroadCompany) | Transportation.kif 3239-3239 | 二级铁路 是 铁路公司 的 subclass |
(subclass ClassIRailroad RailroadCompany) | Transportation.kif 3233-3233 | ClassI铁路 是 铁路公司 的 subclass |
(termFormat ChineseLanguage RailroadCompany "铁路公司") | domainEnglishFormat.kif 48638-48638 | |
(termFormat ChineseTraditionalLanguage RailroadCompany "鐵路公司") | domainEnglishFormat.kif 48637-48637 | |
(termFormat EnglishLanguage RailroadCompany "railroad company") | domainEnglishFormat.kif 48636-48636 |
antecedent |
(=> (instance ?COMPANY RailroadCompany) (exists (?SERVICE ?TRAIN) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Transportation) (instrument ?SERVICE ?TRAIN) (instance ?TRAIN Train)))) |
Transportation.kif 3223-3231 |