Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| reservedPackage |
| appearance as argument number 1 |
|
| (instance reservedPackage BinaryPredicate) | Hotel.kif 2983-2983 | reserved package is an instance of binary predicate |
| (documentation reservedPackage EnglishLanguage "(reservedPackage ?RESERVE ?PACKAGE) means that the customer has reserved for the HotelPackage ?PACKAGE") | Hotel.kif 2984-2985 | reserved package is an instance of binary predicate |
| (domain reservedPackage 1 Reservation) | Hotel.kif 2988-2988 | The number 1 argument of reserved package is an instance of reservation |
| (domain reservedPackage 2 Proposition) | Hotel.kif 2989-2989 | The number 2 argument of reserved package is an instance of proposition |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage reservedPackage "reserved package") | Hotel.kif 2986-2986 | |
| (format EnglishLanguage reservedPackage "%1 is a reservation for %2") | domainEnglishFormat.kif 4408-4408 | |
| (format ChineseTraditionalLanguage reservedPackage "%1 是對於 %2 的 reservation ") | domainEnglishFormat.kif 4409-4409 | |
| (format ChineseLanguage reservedPackage "%1 是 对于 %2 的 reservation ") | domainEnglishFormat.kif 4410-4410 |
| antecedent |
|
|
| (=> (and (reservedPackage ?RESERVE ?PACKAGE) (reservingEntity ?RESERVE ?CUST)) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PACKAGE) (experiencer ?PROC ?CUST))) Likely)) |
Hotel.kif 2991-2999 | If X is a reservation for Y and X reserves Z, then the statement there exists W such that W expresses the content of Y and Z experiences W has the modal force of likely |
|