Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   FluidContainer
|
|
|
| appearance as argument number 1 |
|
|
| (instance PetroleumAndCoalProductsManufacturing IndustryAttribute) | naics.kif 3041-3041 | Petroleum and coal products manufacturing is an instance of industry attribute |
| (documentation PetroleumAndCoalProductsManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Petroleum and Coal Products Manufacturing.") | naics.kif 3043-3045 | Petroleum and coal products manufacturing is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG PetroleumAndCoalProductsManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Hydrocarbon) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 3047-3063 | If X is an instance of organization and petroleum and coal products 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 hydrocarbon (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 |
|