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 | 水运业 是 行业属性 的 instance |
appearance as argument number 2 |
(subAttribute DeepSeaCoastalAndGreatLakesWaterTransportation WaterTransportationIndustry) | naics.kif 8107-8107 | 深海沿岸和大湖泊水运 是 水运业 的 subAttribute |
(subAttribute InlandWaterTransportation WaterTransportationIndustry) | naics.kif 8227-8227 | 内陆水运 是 水运业 的 subAttribute |
(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 |
|