![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
PaperManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| (instance PaperManufacturing IndustryAttribute) | naics.kif 2705-2705 | Paper manufacturing is an instance of industry attribute |
| (documentation PaperManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Paper Manufacturing.") | naics.kif 2707-2709 | Paper manufacturing is an instance of industry attribute |
| (externalImage PaperManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ b/ ba/ ManilaPaper.jpg") | pictureList.kif 8638-8638 | Paper manufacturing is an instance of industry attribute |
| (externalImage PaperManufacturing "http://upload.wikimedia.org/wikipedia/ commons/ c/ c4/ Coloured%2C_textured_craft_card.jpg") | pictureList.kif 9519-9519 | Paper manufacturing is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG PaperManufacturing)) (exists (?MEM ?EV ?THING) (and (instance ?MEM Industry) (member ?MEM ?ORG) (instance ?EV Manufacture) (agent ?EV ?MEM) (patient ?EV ?THING) (material Paper ?THING)))) |
naics.kif 2711-2722 | If X is an instance of organization and paper manufacturing is an attribute of X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of industry (3) Y is a member of X (4) Z is an instance of manufacture (5) Y is an agent of Z (6) W is a patient of Z (7) W is made of paper |