|
|
   TransportationCompany
|
|
|
| appearance as argument number 1 |
|
|
| (documentation TransportationCompany EnglishLanguage "A Business whose services include Transportation, e.g. a RailroadCompany, an airline, a cruise ship line, etc.") | Mid-level-ontology.kif 7393-7395 | |
| (subclass TransportationCompany Business) | Mid-level-ontology.kif 7392-7392 |
| appearance as argument number 2 |
|
|
| (subclass Airline TransportationCompany) | Transportation.kif 4123-4123 | |
| (subclass CommonCarrier TransportationCompany) | Transportation.kif 4034-4034 | |
| (subclass ContractCarrier TransportationCompany) | Transportation.kif 4039-4039 | |
| (subclass RailroadCompany TransportationCompany) | Transportation.kif 4046-4046 | |
| (termFormat ChineseLanguage TransportationCompany "运输公司") | domainEnglishFormat.kif 59026-59026 | |
| (termFormat ChineseTraditionalLanguage TransportationCompany "運輸公司") | domainEnglishFormat.kif 59025-59025 | |
| (termFormat EnglishLanguage TransportationCompany "transportation company") | domainEnglishFormat.kif 59024-59024 |
| appearance as argument number 3 |
|
|
| (domain providesDestination 1 TransportationCompany) | Transportation.kif 4222-4222 |
| antecedent |
|
|
| (=> (and (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation) (instance ?X TransportationCompany)) (exists (?SERVICE ?PLACE) (and (instance ?SERVICE WaterTransportationService) (serviceProvider ?SERVICE ?X) (eventLocated ?SERVICE ?PLACE) (instance ?PLACE WaterArea) (located ?X NorthAmerica)))) |
naics.kif 8120-8130 | |
| (=> (instance ?C TransportationCompany) (exists (?S) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Transportation)))) |
Mid-level-ontology.kif 7397-7403 |
| consequent |
|
|
| (=> (and (attribute ?ORG ?ATT) (instance ?ATT DeepSeaCoastalAndGreatLakesWaterTransportation)) (instance ?ORG TransportationCompany)) |
naics.kif 8114-8118 |
|
|
|