Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   HotelPackage
|
|
|
| appearance as argument number 1 |
|
|
| (subclass HotelPackage Proposition) | Hotel.kif 2743-2743 | 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 2744-2746 | Hotel package is a subclass of proposition |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelPackage "hotel package") | Hotel.kif 2747-2747 | |
| (subclass GolfPackage HotelPackage) | Hotel.kif 2823-2823 | Golf package is a subclass of hotel package |
| appearance as argument number 3 |
|
|
| (domain roomStay 1 HotelPackage) | Hotel.kif 2755-2755 | The number 1 argument of room stay is an instance of hotel package |
| (domain accommodationProvider 1 HotelPackage) | Hotel.kif 2783-2783 | The number 1 argument of accommodations provider is an instance of hotel package |
| (domain physicalInclusion 1 HotelPackage) | Hotel.kif 2794-2794 | The number 1 argument of physical inclusion is an instance of hotel package |
| (domain processInclusion 1 HotelPackage) | Hotel.kif 2801-2801 | The number 1 argument of process inclusion is an instance of hotel package |
| (domain policyInclusion 1 HotelPackage) | Hotel.kif 2808-2808 | The number 1 argument of policy inclusion is an instance of hotel package |
| (domain mealPlanInclusion 1 HotelPackage) | Hotel.kif 2815-2815 | 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 2762-2775 | 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 2818-2821 | If X is an instance of hotel package, then there exist Y and Z such that X specifies Z days stay at Y |
|