Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FoodPickup(food pickup) |
| appearance as argument number 1 |
|
| (subclass FoodPickup CateringService) | Dining.kif 604-604 | Food pickup is a subclass of catering |
| (documentation FoodPickup EnglishLanguage "FoodPickup is a type of CateringService where the customer has to pick up the food from the agent's location with the intent of eating it somewhere else.") | Dining.kif 605-607 | Food pickup is a subclass of catering |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FoodPickup "food pickup") | Dining.kif 608-608 | |
| (subclass DriveThru FoodPickup) | Dining.kif 629-629 | Drive thru is a subclass of food pickup |
| antecedent |
|
|
| (=> (and (instance ?P FoodPickup) (agent ?P ?AGENT) (destination ?P ?CUST) (patient ?P ?FOOD)) (and (instance ?FOOD (FoodForFn Human)) (exists (?LOC ?T ?G) (and (located ?AGENT ?LOC) (instance ?T Translocation) (agent ?T ?CUST) (destination ?T ?LOC) (instance ?G Getting) (origin ?G ?AGENT) (destination ?G ?CUST) (patient ?G ?FOOD))))) |
Dining.kif 610-627 | If X is an instance of food pickup, Y is an agent of X, X ends up at Z, and W is a patient of X, then W is an instance of food for human and All of the following hold: (1) there exist V, U (2) T such that Y is located at V (3) U is an instance of translocation (4) Z is an agent of U (5) U ends up at V (6) T is an instance of getting (7) T originates at Y (8) T ends up at Z (9) W is a patient of T |
|