|
|
  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 | 子屬性 深海沿岸和大湖泊水運 and 水運業 |
| appearance as argument number 2 |
|
|
| 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 |
|
|
|
|