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 では %n |
(domain reservationEnd 2 Reservation) | Dining.kif 709-709 | reservationEnd の数値 2 引数は Reservation の instance では %n |
(instance reservationEnd BinaryPredicate) | Dining.kif 704-704 | reservationEnd は 2進述語 の instance では %n |
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 |