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 | Il numero 1 argomenti di reservationEnd è un istanza di PuntoTemporale |
(domain reservationEnd 2 Reservation) | Dining.kif 709-709 | Il numero 2 argomenti di reservationEnd è un istanza di Reservation |
(instance reservationEnd BinaryPredicate) | Dining.kif 704-704 | reservationEnd è un' istanza di PredicatoBinario |
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 |