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 | Reserving 是 承诺 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage Reserving "reserving") | Dining.kif 760-760 |
antecedent |
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 |