Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  FurnitureAndRelatedProductManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| (subAttribute FurnitureAndRelatedProductManufacturing FurnitureIndustry) | Economy.kif 1872-1872 | Furniture and related product manufacturing is a subattribute of furniture industry |
| (instance FurnitureAndRelatedProductManufacturing IndustryAttribute) | naics.kif 5985-5985 | Furniture and related product manufacturing is an instance of industry attribute |
| (documentation FurnitureAndRelatedProductManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Furniture and Related Product Manufacturing.") | naics.kif 5987-5989 | Furniture and related product manufacturing is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG FurnitureAndRelatedProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Furniture) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 5991-6007 | If X is an instance of organization and furniture and related 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 furniture (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 |
|