| 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 | The number 1 argument of reserved package is an instance of reservation |
| (domain reservedPackage 2 Proposition) | Hotel.kif 2971-2971 | The number 2 argument of reserved package is an instance of proposition |
| (instance reservedPackage BinaryPredicate) | Hotel.kif 2965-2965 | reserved package is an instance of binary predicate |
| 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 |
|
|
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