TransportationEquipmentManufacturing(運輸設備製造業) |
appearance as argument number 1 |
(documentation TransportationEquipmentManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Transportation Equipment Manufacturing.") | naics.kif 5679-5681 | |
(instance TransportationEquipmentManufacturing IndustryAttribute) | naics.kif 5677-5677 | 例 運輸設備製造業 and 行業屬性 |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?ORG Organization) (attribute ?ORG TransportationEquipmentManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING TransportationDevice) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 5683-5699 |
|