| MealPlan | |
| appearance as argument number 1 |
|
|
| (documentation MealPlan EnglishLanguage "MealPlan refers to the Meal that are included in a particular stay at a TravelerAccommodation") | Hotel.kif 1553-1554 | |
| (subclass MealPlan Proposition) | Hotel.kif 1552-1552 |
| appearance as argument number 2 |
|
|
| (subclass FullBoard MealPlan) | Hotel.kif 1591-1591 | |
| (subclass HalfBoard MealPlan) | Hotel.kif 1603-1603 | |
| (subclass MealPlanBreakfast MealPlan) | Hotel.kif 1634-1634 | |
| (subclass MealPlanEuropean MealPlan) | Hotel.kif 1614-1614 | |
| (subclass MealPlanModifiedAmerican MealPlan) | Hotel.kif 1643-1643 | |
| (termFormat EnglishLanguage MealPlan "meal plan") | Hotel.kif 1555-1555 |
| appearance as argument number 3 |
|
|
| (domain includedMeal 1 MealPlan) | Hotel.kif 1562-1562 | |
| (domainSubclass mealPlanInclusion 2 MealPlan) | Hotel.kif 2809-2809 |
| 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 |
|
|
|