Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CateringService
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CateringService ServiceProcess) | Dining.kif 571-571 | Catering is a subclass of service |
| (documentation CateringService EnglishLanguage "CateringService refers to the ServiceProcess of an AutonomousAgent to prepare food and beverage for consumption in a location away from where the agent is located") | Dining.kif 572-574 | Catering is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CateringService "catering") | Dining.kif 575-575 | |
| (subclass FoodPickup CateringService) | Dining.kif 604-604 | Food pickup is a subclass of catering |
| antecedent |
|
|
| (=> (and (instance ?P CateringService) (instance ?P ?CLASS) (agent ?P ?REST)) (capability ?CLASS agent ?REST)) |
Dining.kif 579-584 | If X is an instance of catering, X is an instance of Y, and Z is an agent of X, then Z is capable of doing Y as a agent |
| (=> (and (instance ?C CateringService) (agent ?C ?AGENT) (destination ?C ?CUST) (located ?AGENT ?LOC1) (customer ?CUST ?AGENT) (exists (?S ?FOOD ?E) (and (instance ?S Cooking) (agent ?S ?AGENT) (result ?S ?FOOD) (patient ?C ?FOOD) (instance ?E Eating) (agent ?E ?CUST) (eventLocated ?E ?LOC2)))) (not (equal ?LOC1 ?LOC2))) |
Dining.kif 586-602 | If All of the following hold: (1) X is an instance of catering (2) Y is an agent of X (3) X ends up at Z (4) Y is located at W (5) Y is a customer of Z (6) All of the following hold: (1) there exist V, U (2) T such that V is an instance of cooking (3) Y is an agent of V (4) U is a result of V (5) U is a patient of X (6) T is an instance of eating (7) Z is an agent of T (8) T is located at S, then equal W and S |
|