| HotelPackage(hotel package) | | package_holiday, package_tour |
| appearance as argument number 1 |
|
|
| s__documentation(s__HotelPackage,s__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 hotels amenities"')
|
Hotel.kif 2672-2674 | |
| s__subclass(s__HotelPackage,s__Proposition) s__instance(s__HotelPackage,s__SetOrClass) s__instance(s__Proposition,s__SetOrClass)
|
Hotel.kif 2671-2671 | Hotel package is a subclass of proposition |
| appearance as argument number 2 |
|
|
| s__instance(s__HotelPackage,s__SetOrClass) s__instance(s__GolfPackage,s__SetOrClass) s__subclass(s__GolfPackage,s__HotelPackage)
|
Hotel.kif 2747-2747 | Golf package is a subclass of hotel package |
| s__termFormat(s__EnglishLanguage,s__HotelPackage,'"hotel package"')
|
Hotel.kif 2675-2675 |
| appearance as argument number 3 |
|
|
| s__domain(s__accommodationProvider__m,n__1,s__HotelPackage)
|
Hotel.kif 2707-2707 | The number 1 argument of accommodations provider is an instance of hotel package |
| s__domain(s__mealPlanInclusion__m,n__1,s__HotelPackage)
|
Hotel.kif 2739-2739 | The number 1 argument of meal plan inclusion is an instance of hotel package |
| s__domain(s__physicalInclusion__m,n__1,s__HotelPackage)
|
Hotel.kif 2718-2718 | The number 1 argument of physical inclusion is an instance of hotel package |
| s__domain(s__policyInclusion__m,n__1,s__HotelPackage)
|
Hotel.kif 2732-2732 | The number 1 argument of policy inclusion is an instance of hotel package |
| s__domain(s__processInclusion__m,n__1,s__HotelPackage)
|
Hotel.kif 2725-2725 | The number 1 argument of process inclusion is an instance of hotel package |
| s__domain(s__roomStay__m,n__1,s__HotelPackage)
|
Hotel.kif 2683-2683 | The number 1 argument of room stay is an instance of hotel package |
| antecedent |
|
|
|
|
|