HotelPackage |
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 | HotelPackage è una sottoclasse di Proposizione |
appearance as argument number 2 |
(subclass GolfPackage HotelPackage) | Hotel.kif 2805-2805 | GolfPackage è una sottoclasse di HotelPackage |
(termFormat EnglishLanguage HotelPackage "hotel package") | Hotel.kif 2729-2729 |
appearance as argument number 3 |
(domain accommodationProvider 1 HotelPackage) | Hotel.kif 2765-2765 | Il numero 1 argomenti di accommodationProvider è un istanza di HotelPackage |
(domain mealPlanInclusion 1 HotelPackage) | Hotel.kif 2797-2797 | Il numero 1 argomenti di mealPlanInclusion è un istanza di HotelPackage |
(domain physicalInclusion 1 HotelPackage) | Hotel.kif 2776-2776 | Il numero 1 argomenti di physicalInclusion è un istanza di HotelPackage |
(domain policyInclusion 1 HotelPackage) | Hotel.kif 2790-2790 | Il numero 1 argomenti di policyInclusion è un istanza di HotelPackage |
(domain processInclusion 1 HotelPackage) | Hotel.kif 2783-2783 | Il numero 1 argomenti di processInclusion è un istanza di HotelPackage |
(domain roomStay 1 HotelPackage) | Hotel.kif 2737-2737 | Il numero 1 argomenti di roomStay è un istanza di HotelPackage |
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 2744-2757 |
|
(=> (instance ?X HotelPackage) (exists (?UNIT ?INT) (roomStay ?X ?INT ?UNIT))) |
Hotel.kif 2800-2803 |