DeepSeaCoastalAndGreatLakesWaterTransportation |
appearance as argument number 1 |
(documentation DeepSeaCoastalAndGreatLakesWaterTransportation EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Deep Sea, Coastal, and Great Lakes Water Transportation.") | naics.kif 8109-8112 | |
(subAttribute DeepSeaCoastalAndGreatLakesWaterTransportation WaterTransportationIndustry) | naics.kif 8107-8107 |
appearance as argument number 2 |
(subAttribute CoastalAndGreatLakesFreightTransportation DeepSeaCoastalAndGreatLakesWaterTransportation) | naics.kif 8177-8177 | |
(subAttribute CoastalAndGreatLakesPassengerTransportation DeepSeaCoastalAndGreatLakesWaterTransportation) | naics.kif 8199-8199 | |
(subAttribute DeepSeaFreightTransportation DeepSeaCoastalAndGreatLakesWaterTransportation) | naics.kif 8132-8132 | |
(subAttribute DeepSeaPassengerTransportation DeepSeaCoastalAndGreatLakesWaterTransportation) | naics.kif 8152-8152 | |
(termFormat ChineseLanguage DeepSeaCoastalAndGreatLakesWaterTransportation "深海沿岸和大湖泊水运") | domainEnglishFormat.kif 18858-18858 | |
(termFormat ChineseTraditionalLanguage DeepSeaCoastalAndGreatLakesWaterTransportation "深海沿岸和大湖泊水運") | domainEnglishFormat.kif 18857-18857 | |
(termFormat EnglishLanguage DeepSeaCoastalAndGreatLakesWaterTransportation "deep sea coastal and great lakes water transportation") | domainEnglishFormat.kif 18856-18856 |
antecedent |
(=> (and (attribute ?ORG ?ATT) (instance ?ATT DeepSeaCoastalAndGreatLakesWaterTransportation)) (instance ?ORG TransportationCompany)) |
naics.kif 8114-8118 | |
(=> (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 |