| appearance as argument number 1 |
|
| (documentation reservedPackage EnglishLanguage "(reservedPackage ?RESERVE ?PACKAGE) means that the customer has reserved for the HotelPackage ?PACKAGE") | Hotel.kif 2977-2978 | |
| (domain reservedPackage 1 Reservation) | Hotel.kif 2981-2981 | |
| (domain reservedPackage 2 Proposition) | Hotel.kif 2982-2982 | |
| (instance reservedPackage BinaryPredicate) | Hotel.kif 2976-2976 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage reservedPackage "%1 是 对于 %2 的 reservation ") | domainEnglishFormat.kif 4410-4410 | |
| (format ChineseTraditionalLanguage reservedPackage "%1 是對於 %2 的 reservation ") | domainEnglishFormat.kif 4409-4409 | |
| (format EnglishLanguage reservedPackage "%1 is a reservation for %2") | domainEnglishFormat.kif 4408-4408 | |
| (termFormat EnglishLanguage reservedPackage "reserved package") | Hotel.kif 2979-2979 |
| antecedent |
|
|
| (=> (and (reservedPackage ?RESERVE ?PACKAGE) (reservingEntity ?RESERVE ?CUST)) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PACKAGE) (experiencer ?PROC ?CUST))) Likely)) |
Hotel.kif 2984-2992 |
|
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