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 710-712 | |
(subclass Reserving Committing) | Dining.kif 709-709 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Reserving "reserving") | Dining.kif 713-713 |
antecedent |
![]() |
(=> (and (instance ?AGENT Agent) (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 725-748 | |
(=> (and (instance ?R Reserving) (agent ?R ?CUST) (destination ?R ?AGENT)) (potentialCustomer ?CUST ?AGENT)) |
Dining.kif 715-720 |
consequent |
![]() |
(=> (fulfillingEntity ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (destination ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 643-649 | |
(=> (instance ?R Reservation) (exists (?P) (and (instance ?P Reserving) (result ?P ?R)))) |
Dining.kif 599-604 | |
(=> (reservationChannel ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (instrument ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 628-634 | |
(=> (reservingEntity ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (agent ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 613-619 |
![]() |
![]() |