| appearance as argument number 1 |
|
| (documentation reservedPackage EnglishLanguage "(reservedPackage ?RESERVE ?PACKAGE) means that the customer has reserved for the HotelPackage ?PACKAGE") | Hotel.kif 2921-2922 | |
| (domain reservedPackage 1 Reservation) | Hotel.kif 2925-2925 | |
| (domain reservedPackage 2 Proposition) | Hotel.kif 2926-2926 | |
| (instance reservedPackage BinaryPredicate) | Hotel.kif 2920-2920 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage reservedPackage "%1 是 对于 %2 的 reservation ") | domainEnglishFormat.kif 4415-4415 | |
| (format ChineseTraditionalLanguage reservedPackage "%1 是對於 %2 的 reservation ") | domainEnglishFormat.kif 4414-4414 | |
| (format EnglishLanguage reservedPackage "%1 is a reservation for %2") | domainEnglishFormat.kif 4413-4413 | |
| (termFormat EnglishLanguage reservedPackage "reserved package") | Hotel.kif 2923-2923 |
| antecedent |
|
|
| (=> (and (reservedPackage ?RESERVE ?PACKAGE) (reservingEntity ?RESERVE ?CUST)) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PACKAGE) (experiencer ?PROC ?CUST))) Likely)) |
Hotel.kif 2928-2936 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners