Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MachineryManufacturing(machinery manufacturing) |
| appearance as argument number 1 |
|
| (industryProductType MachineryManufacturing Machine) | Economy.kif 1904-1904 | Machine is an industry product type of machinery manufacturing |
| (instance MachineryManufacturing IndustryAttribute) | naics.kif 4632-4632 | Machinery manufacturing is an instance of industry attribute |
| (documentation MachineryManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Machinery Manufacturing.") | naics.kif 4634-4636 | Machinery manufacturing is an instance of industry attribute |
| 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 4638-4654 | If X is an instance of organization and machinery manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of machine (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U |
|