![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
ChemicalManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| (industryProductType ChemicalManufacturing ChemicalArtifact) | Society.kif 593-593 | ChemicalArtifact is an industry product type of chemical manufacturing |
| (instance ChemicalManufacturing IndustryAttribute) | naics.kif 3113-3113 | Chemical manufacturing is an instance of industry attribute |
| (documentation ChemicalManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Chemical Manufacturing.") | naics.kif 3115-3117 | Chemical manufacturing is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG ChemicalManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING PureSubstance) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 3119-3135 | If X is an instance of organization and chemical 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 pure substance (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 |