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 | |
(instance MachineryManufacturing IndustryAttribute) | naics.kif 4638-4638 |
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 |