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 | DeepSeaCoastalAndGreatLakesWaterTransportation è un sottoattributo di WaterTransportationIndustry |
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 |
|