DeliveryService
|
|
appearance as argument number 1 |
(documentation DeliveryService EnglishLanguage "DeliveryService refers to the Transfer of an AutonomousAgent bringing objects purchased from AutonomousAgent to a location indicated by the customer") | Dining.kif 527-529 | |
(subclass DeliveryService Transfer) | Dining.kif 526-526 |
appearance as argument number 2 |
(termFormat EnglishLanguage DeliveryService "delivery service") | Dining.kif 530-530 |
antecedent |
(=> (and (instance ?D DeliveryService) (agent ?D ?AGENT)) (capability DeliveryService agent ?AGENT)) |
Dining.kif 532-536 | |
(=> (and (instance ?D DeliveryService) (destination ?D ?LOC1) (deliveryRegion ?AGENT ?REGION) (conditionalProbability (located ?LOC1 ?REGION) (agent ?D ?AGENT) ?NUMBER1) (conditionalProbability (not (located ?LOC1 ?REGION)) (agent ?D ?AGENT) ?NUMBER2)) (lessThan ?NUMBER2 ?NUMBER1)) |
Dining.kif 552-561 | |
(=> (and (instance ?D DeliveryService) (origin ?D ?LOC1) (destination ?D ?LOC2)) (not (equal ?LOC1 ?LOC2))) |
Dining.kif 564-569 |
consequent |
(=> (and (instance ?D DeliveryService) (agent ?D ?AGENT)) (capability DeliveryService agent ?AGENT)) |
Dining.kif 532-536 | |
(=> (deliveryRegion ?AGENT ?REGION) (capability DeliveryService agent ?AGENT)) |
Dining.kif 546-548 | |
(=> (instance ?SVC RoomService) (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC) (and (customer ?CUSTOMER ?AGENT) (agent ?SVC ?AGENT) (instance ?RQST Requesting) (agent ?RQST ?CUSTOMER) (patient ?RQST ?ORDER) (represents ?ORDER ?FOOD) (instance ?FOOD PreparedFood) (located ?CUSTOMER ?LOC) (instance ?LOC HotelUnit) (instance ?DELIVERY DeliveryService) (patient ?DELIVERY ?FOOD) (destination ?DELIVERY ?LOC) (before (BeginFn (WhenFn ?RQST)) (BeginFn (WhenFn ?DELIVERY)))))) |
Hotel.kif 1969-1987 | |
(=> (instance ?SVC ValetLaundryService) (exists (?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY) (and (customer ?CUST ?AGENT) (stays ?CUST ?LOC) (agent ?SVC ?AGENT) (instance ?CLOTHES Clothing) (instance ?PICKUP Getting) (located ?PICKUP ?LOC) (patient ?PICKUP ?CLOTHES) (agent ?PICKUP ?AGENT) (or (instance ?LAUNDRY LaundryService) (instance ?LAUNDRY DryCleaningService)) (agent ?LAUNDRY ?AGENT) (patient ?LAUNDRY ?CLOTHES) (instance ?DELIVERY DeliveryService) (patient ?DELIVERY ?CLOTHES) (destination ?DELIVERY ?LOC) (before (BeginFn (WhenFn ?PICKUP)) (BeginFn (WhenFn ?LAUNDRY))) (before (BeginFn (WhenFn ?LAUNDRY)) (BeginFn (WhenFn ?DELIVERY)))))) |
Hotel.kif 1827-1848 |