Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WritingDevice
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DeliveryService Transfer) | Dining.kif 526-526 | Delivery service is a subclass of transfer |
| (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 | Delivery service is a subclass of transfer |
| 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 | If X is an instance of delivery service and Y is an agent of X, then Y is capable of doing delivery service as a agent |
| (=> (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 | If X is an instance of delivery service, X ends up at Y, Z is the delivery area of W, probability of Y is located at Z provided that W is an agent of X holds is V, and probability of Y is not located at Z provided that W is an agent of X holds is U, then U is less than V |
| (=> (and (instance ?D DeliveryService) (origin ?D ?LOC1) (destination ?D ?LOC2)) (not (equal ?LOC1 ?LOC2))) |
Dining.kif 564-569 | If X is an instance of delivery service, X originates at Y, and X ends up at Z, then equal Y and Z |
| consequent |
|
|
| (=> (and (instance ?D DeliveryService) (agent ?D ?AGENT)) (capability DeliveryService agent ?AGENT)) |
Dining.kif 532-536 | If X is an instance of delivery service and Y is an agent of X, then Y is capable of doing delivery service as a agent |
| (=> (deliveryRegion ?AGENT ?REGION) (capability DeliveryService agent ?AGENT)) |
Dining.kif 546-548 | If X is the delivery area of Y, then Y is capable of doing delivery service as a agent |
| (=> (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 1844-1865 | If X is an instance of valet laundry, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that Z is a customer of Y (3) Y stays at W (4) Z is an agent of X (5) V is an instance of clothing (6) T is an instance of getting (7) T is located at W (8) V is a patient of T (9) Z is an agent of T (10) U is an instance of laundry service or U is an instance of dry-clean (11) Z is an agent of U (12) V is a patient of U (13) S is an instance of delivery service (14) V is a patient of S (15) S ends up at W (16) the beginning of the time of existence of T happens before the beginning of the time of existence of U (17) the beginning of the time of existence of U happens before the beginning of the time of existence of S |
| (=> (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 1987-2005 | If X is an instance of room service, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that Y is a customer of W (3) Y is an agent of X (4) V is an instance of requesting (5) W is an agent of V (6) U is a patient of V (7) U expresses Z (8) Z is an instance of food (9) W is located at S (10) S is an instance of hotel unit (11) T is an instance of delivery service (12) Z is a patient of T (13) T ends up at S (14) the beginning of the time of existence of V happens before the beginning of the time of existence of T |
|