| RailroadCompany(railroad company) | | railroad, railroad_line, railway, railway_line, railway_system |
| appearance as argument number 1 |
|
|
| (documentation RailroadCompany EnglishLanguage "Any TransportationCompany whose services include Transportation by Train.") | Transportation.kif 4047-4048 | |
| (subclass RailroadCompany TransportationCompany) | Transportation.kif 4046-4046 | Railroad company is a subclass of transportation company |
| appearance as argument number 2 |
|
|
| (subclass ClassIIIRailroad RailroadCompany) | Transportation.kif 4072-4072 | ClassIII railroad is a subclass of railroad company |
| (subclass ClassIIRailroad RailroadCompany) | Transportation.kif 4066-4066 | ClassII railroad is a subclass of railroad company |
| (subclass ClassIRailroad RailroadCompany) | Transportation.kif 4060-4060 | ClassI railroad is a subclass of railroad company |
| (termFormat ChineseLanguage RailroadCompany "铁路公司") | domainEnglishFormat.kif 48678-48678 | ClassI railroad is a subclass of railroad company |
| (termFormat ChineseTraditionalLanguage RailroadCompany "鐵路公司") | domainEnglishFormat.kif 48677-48677 | ClassI railroad is a subclass of railroad company |
| (termFormat EnglishLanguage RailroadCompany "railroad company") | domainEnglishFormat.kif 48676-48676 | ClassI railroad is a subclass of railroad company |
| 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 4050-4058 |
|
|
|
|