Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TransportationEquipmentManufacturing(transportation equipment manufacturing) |
| appearance as argument number 1 |
|
| (instance TransportationEquipmentManufacturing IndustryAttribute) | naics.kif 5674-5674 | Transportation equipment manufacturing is an instance of industry attribute |
| (documentation TransportationEquipmentManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Transportation Equipment Manufacturing.") | naics.kif 5676-5678 | Transportation equipment manufacturing is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG TransportationEquipmentManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING TransportationDevice) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 5680-5696 | If X is an instance of organization and transportation equipment 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 transportation device (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 |
|