reservationEnd |
appearance as argument number 1 |
(documentation reservationEnd EnglishLanguage "(reservationEnd ?TIME ?RESERVE) means that the use of a resource or consumption of a service which is the object of ?RESERVE is expected to end at ?TIME") | Dining.kif 705-707 | |
(domain reservationEnd 1 TimePoint) | Dining.kif 708-708 | Le nombre 1 argument de reservationEnd est une instance de point temporel |
(domain reservationEnd 2 Reservation) | Dining.kif 709-709 | Le nombre 2 argument de reservationEnd est une instance de Reservation |
(instance reservationEnd BinaryPredicate) | Dining.kif 704-704 | reservationEnd est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format ChineseLanguage reservationEnd "%2 ends 在 %1 ") | domainEnglishFormat.kif 4398-4398 | |
(format ChineseTraditionalLanguage reservationEnd "%2 ends 在 %1 ") | domainEnglishFormat.kif 4397-4397 | |
(format EnglishLanguage reservationEnd "%2 ends at %1") | domainEnglishFormat.kif 4396-4396 | |
(termFormat EnglishLanguage reservationEnd "reservation end") | domainEnglishFormat.kif 65924-65924 |
antecedent |