| Reserving(reserving) | | book, hold, reservation, reserve |
| appearance as argument number 1 |
|
|
| (subclass Reserving Committing) | Dining.kif 756-756 | Reserving is a subclass of committing |
| (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 | Reserving is a subclass of committing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Reserving "reserving") | Dining.kif 760-760 |
| antecedent |
|
|
| (=> (and (instance ?R Reserving) (agent ?R ?CUST) (destination ?R ?AGENT)) (potentialCustomer ?CUST ?AGENT)) |
Dining.kif 762-767 | If X is an instance of reserving, Y is an agent of X, and X ends up at Z, then Y is a potential customer for Z |
| (=> (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 | If X is an instance of agent, Y is a potential customer for X, the statement Z is an instance of reserving and Z ends up at X has the modal force of necessity, probability of there exists W such that W is an instance of reservation, Y reserves W, and X fulfills W provided that X is a customer of Y holds is V, and probability of there doesn't exist U such that U is an instance of reservation, Y reserves U, and X fulfills U provided that X is a customer of Y holds is T, then T is less than V |
| consequent |
|
|
| (=> (instance ?R Reservation) (exists (?P) (and (instance ?P Reserving) (result ?P ?R)))) |
Dining.kif 645-650 | If X is an instance of reservation, then there exists Y such that Y is an instance of reserving and X is a result of Y |
| (=> (reservingEntity ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (agent ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 659-665 | If X reserves Y, then there exists Z such that Z is an instance of reserving, X is an agent of Z, and Y is a result of Z |
| (=> (reservationChannel ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (instrument ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 674-680 | If X was used in creating Y, then there exists Z such that Z is an instance of reserving, X is an instrument for Z, and Y is a result of Z |
| (=> (fulfillingEntity ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (destination ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 689-695 | If X fulfills Y, then there exists Z such that Z is an instance of reserving, Z ends up at X, and Y is a result of Z |
|
|
|