reservedPackage |
appearance as argument number 1 |
(documentation reservedPackage EnglishLanguage "(reservedPackage ?RESERVE ?PACKAGE) means that the customer has reserved for the HotelPackage ?PACKAGE") | Hotel.kif 2966-2967 | |
(domain reservedPackage 1 Reservation) | Hotel.kif 2970-2970 | Il numero 1 argomenti di reservedPackage è un istanza di Reservation |
(domain reservedPackage 2 Proposition) | Hotel.kif 2971-2971 | Il numero 2 argomenti di reservedPackage è un istanza di Proposizione |
(instance reservedPackage BinaryPredicate) | Hotel.kif 2965-2965 | reservedPackage è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage reservedPackage "%1 是 对于 %2 的 reservation ") | domainEnglishFormat.kif 4406-4406 | |
(format ChineseTraditionalLanguage reservedPackage "%1 是對於 %2 的 reservation ") | domainEnglishFormat.kif 4405-4405 | |
(format EnglishLanguage reservedPackage "%1 is a reservation for %2") | domainEnglishFormat.kif 4404-4404 | |
(termFormat EnglishLanguage reservedPackage "reserved package") | Hotel.kif 2968-2968 |
antecedent |
(=> (and (reservedPackage ?RESERVE ?PACKAGE) (reservingEntity ?RESERVE ?CUST)) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PACKAGE) (experiencer ?PROC ?CUST))) Likely)) |
Hotel.kif 2973-2981 |
|