![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BuildingMaterialAndGardenEquipmentAndSuppliesDealers(building material and garden equipment and supplies dealers) |
| appearance as argument number 1 |
|
|
| (instance BuildingMaterialAndGardenEquipmentAndSuppliesDealers IndustryAttribute) | naics.kif 7232-7232 | Building material and garden equipment and supplies dealers is an instance of industry attribute |
| (documentation BuildingMaterialAndGardenEquipmentAndSuppliesDealers EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Building Material and Garden Equipment and Supplies Dealers.") | naics.kif 7234-7237 | Building material and garden equipment and supplies dealers is an instance of industry attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Object) (or (capability Constructing resource ?THING) (capability Agriculture resource ?THING)) (patient ?EV ?THING)))))) |
naics.kif 7239-7254 | If X is an instance of organization and building material and garden equipment and supplies dealers 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 exists W such that Y is an instance of selling (5) W is an instance of object (6) W is capable of doing constructing as a resource or W is capable of doing agriculture as a resource (7) W is a patient of Y |