![]() |
![]() ![]() ![]()
|
![]() |
|
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 est une sous-classe de investir |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Reserving "reserving") | Dining.kif 760-760 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |