| 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 2737-2739 | |
| (subclass HotelPackage Proposition) | Hotel.kif 2736-2736 | Hotel package is a subclass of proposition |
| appearance as argument number 2 |
|
|
| (subclass GolfPackage HotelPackage) | Hotel.kif 2816-2816 | Golf package is a subclass of hotel package |
| (termFormat EnglishLanguage HotelPackage "hotel package") | Hotel.kif 2740-2740 | Golf package is a subclass of hotel package |
| appearance as argument number 3 |
|
|
| (domain accommodationProvider 1 HotelPackage) | Hotel.kif 2776-2776 | The number 1 argument of accommodations provider is an instance of hotel package |
| (domain mealPlanInclusion 1 HotelPackage) | Hotel.kif 2808-2808 | The number 1 argument of meal plan inclusion is an instance of hotel package |
| (domain physicalInclusion 1 HotelPackage) | Hotel.kif 2787-2787 | The number 1 argument of physical inclusion is an instance of hotel package |
| (domain policyInclusion 1 HotelPackage) | Hotel.kif 2801-2801 | The number 1 argument of policy inclusion is an instance of hotel package |
| (domain processInclusion 1 HotelPackage) | Hotel.kif 2794-2794 | The number 1 argument of process inclusion is an instance of hotel package |
| (domain roomStay 1 HotelPackage) | Hotel.kif 2748-2748 | The number 1 argument of room stay is an instance of hotel package |
| antecedent |
|
|
|
|
|