MachineryManufacturing
|
|
appearance as argument number 1 |
(documentation MachineryManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Machinery Manufacturing.") | naics.kif 4640-4642 | |
(industryProductType MachineryManufacturing Machine) | Economy.kif 1784-1784 | 机器 是 机械制造业 的 industry 产品类别 |
(instance MachineryManufacturing IndustryAttribute) | naics.kif 4638-4638 | 机械制造业 是 行业属性 的 instance |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?ORG Organization) (attribute ?ORG MachineryManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Machine) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 4644-4660 |
|