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 | reservationEnd 的 1 数量 是 时点 的 instance |
(domain reservationEnd 2 Reservation) | Dining.kif 709-709 | reservationEnd 的 2 数量 是 Reservation 的 instance |
(instance reservationEnd BinaryPredicate) | Dining.kif 704-704 | reservationEnd 是 二元谓语 的 instance |
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 |