Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (instance FabricatedMetalProductManufacturing IndustryAttribute) | naics.kif 4213-4213 | Fabricated metal product manufacturing is an instance of industry attribute |
| (documentation FabricatedMetalProductManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Fabricated Metal Product Manufacturing.") | naics.kif 4215-4217 | Fabricated metal product manufacturing is an instance of industry attribute |
| (externalImage FabricatedMetalProductManufacturing "http://upload.wikimedia.org/ wikipedia/ commons/ 9/ 94/ SMAW.welding.af.ncs.jpg") | pictureList.kif 10981-10981 | Fabricated metal product manufacturing is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG FabricatedMetalProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Metal) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 4219-4235 | If X is an instance of organization and fabricated metal 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 metal (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 |
|
