Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ElectricalEquipmentApplianceAndComponentManufacturing(electrical equipment appliance and component manufacturing) |
| appearance as argument number 1 |
|
| (instance ElectricalEquipmentApplianceAndComponentManufacturing IndustryAttribute) | naics.kif 5408-5408 | Electrical equipment appliance and component manufacturing is an instance of industry attribute |
| (documentation ElectricalEquipmentApplianceAndComponentManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Electrical Equipment, Appliance, and Component Manufacturing.") | naics.kif 5410-5413 | Electrical equipment appliance and component manufacturing is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG ElectricalEquipmentApplianceAndComponentManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (and (instance ?THING Machine) (exists (?EV3 ?ELEC) (and (patient ?EV3 ?THING) (resource ?EV3 ?ELEC) (instance ?ELEC Electricity)))) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 5415-5437 | If X is an instance of organization and electrical equipment appliance and component 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 machine (7) there exist T (8) S such that W is a patient of T (9) S is a resource for T (10) S is an instance of electricity (11) W is a patient of Y (12) V is a member of X (13) U is an instance of selling (14) V is an agent of U (15) W is a patient of U |
|