![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
FoodAndBeverageStores
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG FoodAndBeverageStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (or (instance ?THING (FoodForFn Animal)) (instance ?THING Beverage)) (patient ?EV ?THING)))))) |
naics.kif 7316-7330 | If X is an instance of organization and food and beverage stores is an attribute of X, then there exist Y, Z such that Z is a member of X, Y is an agent of Z, there exists W such that Y is an instance of selling, W is an instance of food for animal or W is an instance of beverage, and W is a patient of Y |