| Reserving | |
| appearance as argument number 1 |
|
|
| (documentation Reserving EnglishLanguage "Reserving is a type of Committing that dedicates a specific object or service to a destination resource or service for a specific time interval") | Dining.kif 757-759 | |
| (subclass Reserving Committing) | Dining.kif 756-756 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Reserving "reserving") | Dining.kif 760-760 |
| antecedent |
|
|
| (=> (and (instance ?AGENT AutonomousAgent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1)) |
Dining.kif 772-795 | |
| (=> (and (instance ?R Reserving) (agent ?R ?CUST) (destination ?R ?AGENT)) (potentialCustomer ?CUST ?AGENT)) |
Dining.kif 762-767 |
| consequent |
|
|
| (=> (fulfillingEntity ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (destination ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 689-695 | |
| (=> (instance ?R Reservation) (exists (?P) (and (instance ?P Reserving) (result ?P ?R)))) |
Dining.kif 645-650 | |
| (=> (reservationChannel ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (instrument ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 674-680 | |
| (=> (reservingEntity ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (agent ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 659-665 |
|
|
|