| HotelPackage(hotel package) | | package_holiday, package_tour |
| appearance as argument number 1 |
|
|
| (subclass HotelPackage Proposition) | Hotel.kif 2736-2736 | Hotel package is a subclass of proposition |
| (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 | Hotel package is a subclass of proposition |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelPackage "hotel package") | Hotel.kif 2740-2740 | |
| (subclass GolfPackage HotelPackage) | Hotel.kif 2816-2816 | Golf package is a subclass of hotel package |
| appearance as argument number 3 |
|
|
| (domain roomStay 1 HotelPackage) | Hotel.kif 2748-2748 | The number 1 argument of room stay is an instance of hotel package |
| (domain accommodationProvider 1 HotelPackage) | Hotel.kif 2776-2776 | The number 1 argument of accommodations provider 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 processInclusion 1 HotelPackage) | Hotel.kif 2794-2794 | The number 1 argument of process 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 mealPlanInclusion 1 HotelPackage) | Hotel.kif 2808-2808 | The number 1 argument of meal plan inclusion is an instance of hotel package |
| antecedent |
|
|
| (=> (and (propositionOwner ?AGENT ?HP) (instance ?HP HotelPackage) (accommodationProvider ?HP ?HOTEL) (roomStay ?HP ?NUM ?ROOM) (instance ?R ?ROOM) (element ?R (PropertyFn ?HOTEL)) (buys ?CUST ?AGENT ?HP)) (exists (?TI) (and (equal ?TI (MeasureFn ?NUM DayDuration)) (holdsDuring ?TI (guest ?CUST ?HOTEL))))) |
Hotel.kif 2755-2768 | If All of the following hold: (1) X authored Y (2) Y is an instance of hotel package (3) Z provides Y (4) Y specifies W days stay at V (5) U is an instance of V (6) U is an element of belongings of Z (7) T buys Y from X, then there exists S such that equal S and W day duration(s) and T is a guest at Z holds during S |
| (=> (instance ?X HotelPackage) (exists (?UNIT ?INT) (roomStay ?X ?INT ?UNIT))) |
Hotel.kif 2811-2814 | If X is an instance of hotel package, then there exist Y and Z such that X specifies Z days stay at Y |
|
|
|