| MealPlan(meal plan) | | hotel_plan, meal_plan |
| appearance as argument number 1 |
|
|
| (subclass MealPlan Proposition) | Hotel.kif 1552-1552 | Meal plan is a subclass of proposition |
| (documentation MealPlan EnglishLanguage "MealPlan refers to the Meal that are included in a particular stay at a TravelerAccommodation") | Hotel.kif 1553-1554 | Meal plan is a subclass of proposition |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain includedMeal 1 MealPlan) | Hotel.kif 1562-1562 | The number 1 argument of included meal is an instance of meal plan |
| (domainSubclass mealPlanInclusion 2 MealPlan) | Hotel.kif 2809-2809 | The number 2 argument of meal plan inclusion is a subclass of meal plan |
| antecedent |
|
|
| (=> (and (offers ?HOTEL ?MP) (instance ?MP MealPlan) (includedMeal ?MP ?ATTR) (attribute ?HOTEL TravelerAccommodation) (guest ?GUEST ?HOTEL) (buys ?GUEST ?HOTEL ?MP)) (holdsDuring (WhenFn (guest ?GUEST ?HOTEL)) (exists (?TI) (holdsDuring ?TI (exists (?MEAL) (and (attribute ?MEAL ?ATTR) (hasPurpose ?MEAL (exists (?E) (and (instance ?E Eating) (agent ?E ?GUEST) (patient ?E ?MEAL)))))))))) |
Hotel.kif 1569-1589 | If All of the following hold: (1) X offers items for sale in Y (2) Y is an instance of meal plan (3) meals of type Z are includes in Y (4) traveler accommodation is an attribute of X (5) W is a guest at X (6) W buys Y from X, then there exists V such that there exists U such that Z is an attribute of U, U has the purpose there exists T such that T is an instance of eating, W is an agent of T, and U is a patient of T holds during V holds during the time of existence of W is a guest at X |
|
|
|