| HotelPackage(hotel package) | | package_holiday, package_tour |
| appearance as argument number 1 |
|
|
| (documentation HotelPackage EnglishLanguage "HotelPackage is a type of Proposition initiated by a hotel or travel management company that includes a stay at a hotel as well as other inclusions that take advantage of a hotel's amenities") | Hotel.kif 2726-2728 | |
| (subclass HotelPackage Proposition) | Hotel.kif 2725-2725 | Hotel package is a subclass of proposition |
| appearance as argument number 2 |
|
|
| (subclass GolfPackage HotelPackage) | Hotel.kif 2805-2805 | Golf package is a subclass of hotel package |
| (termFormat EnglishLanguage HotelPackage "hotel package") | Hotel.kif 2729-2729 | Golf package is a subclass of hotel package |
| appearance as argument number 3 |
|
|
| (domain accommodationProvider 1 HotelPackage) | Hotel.kif 2765-2765 | The number 1 argument of accommodations provider is an instance of hotel package |
| (domain mealPlanInclusion 1 HotelPackage) | Hotel.kif 2797-2797 | The number 1 argument of meal plan inclusion is an instance of hotel package |
| (domain physicalInclusion 1 HotelPackage) | Hotel.kif 2776-2776 | The number 1 argument of physical inclusion is an instance of hotel package |
| (domain policyInclusion 1 HotelPackage) | Hotel.kif 2790-2790 | The number 1 argument of policy inclusion is an instance of hotel package |
| (domain processInclusion 1 HotelPackage) | Hotel.kif 2783-2783 | The number 1 argument of process inclusion is an instance of hotel package |
| (domain roomStay 1 HotelPackage) | Hotel.kif 2737-2737 | The number 1 argument of room stay is an instance of hotel package |
| antecedent |
|
|
|
|
|