|
|
  WaterTransportationIndustry
|
|
|
| appearance as argument number 1 |
|
|
| (documentation WaterTransportationIndustry EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Water Transportation.") | naics.kif 8076-8078 | |
| (instance WaterTransportationIndustry IndustryAttribute) | naics.kif 8074-8074 |
| appearance as argument number 2 |
|
|
| (subAttribute DeepSeaCoastalAndGreatLakesWaterTransportation WaterTransportationIndustry) | naics.kif 8107-8107 | |
| (subAttribute InlandWaterTransportation WaterTransportationIndustry) | naics.kif 8227-8227 | |
| (termFormat ChineseLanguage WaterTransportationIndustry "水运业") | domainEnglishFormat.kif 62493-62493 | |
| (termFormat ChineseTraditionalLanguage WaterTransportationIndustry "水運業") | domainEnglishFormat.kif 62492-62492 | |
| (termFormat EnglishLanguage WaterTransportationIndustry "water transportation industry") | domainEnglishFormat.kif 62491-62491 |
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG WaterTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (or (patient ?T ?P) (and (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?V) (instance ?V WaterVehicle))) ?MEM ?P)))))) |
naics.kif 8080-8105 |
|
|
|