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 | Die Zahl 1 Argument von reservationEnd ist ein fall von TimePoint %n{nicht} |
(domain reservationEnd 2 Reservation) | Dining.kif 709-709 | Die Zahl 2 Argument von reservationEnd ist ein fall von Reservation %n{nicht} |
(instance reservationEnd BinaryPredicate) | Dining.kif 704-704 | reservationEnd ist ein fall von BinaryPredicate %n{nicht} |
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 65926-65926 |
antecedent |