Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WoodProductManufacturing(wood product manufacturing) |
| appearance as argument number 1 |
|
| (subAttribute WoodProductManufacturing LumberIndustry) | Economy.kif 1895-1895 | Wood product manufacturing is a subattribute of lumber industry |
| (industryProductType WoodProductManufacturing WoodArtifact) | Society.kif 597-597 | WoodArtifact is an industry product type of wood product manufacturing |
| (instance WoodProductManufacturing IndustryAttribute) | naics.kif 2551-2551 | Wood product manufacturing is an instance of industry attribute |
| (documentation WoodProductManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Wood Product Manufacturing.") | naics.kif 2553-2555 | Wood product manufacturing is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG WoodProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Wood) (material Wood ?THING)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2557-2575 | If X is an instance of organization and wood product 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 wood or W is made of wood (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 |
|