| 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 1542-1543 | |
| (subclass MealPlan Proposition) | Hotel.kif 1541-1541 |
| appearance as argument number 2 |
|
|
| (subclass FullBoard MealPlan) | Hotel.kif 1580-1580 | |
| (subclass HalfBoard MealPlan) | Hotel.kif 1592-1592 | |
| (subclass MealPlanBreakfast MealPlan) | Hotel.kif 1623-1623 | |
| (subclass MealPlanEuropean MealPlan) | Hotel.kif 1603-1603 | |
| (subclass MealPlanModifiedAmerican MealPlan) | Hotel.kif 1632-1632 | |
| (termFormat EnglishLanguage MealPlan "meal plan") | Hotel.kif 1544-1544 |
| appearance as argument number 3 |
|
|
| (domain includedMeal 1 MealPlan) | Hotel.kif 1551-1551 | |
| (domainSubclass mealPlanInclusion 2 MealPlan) | Hotel.kif 2798-2798 |
| 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 1558-1578 |
|
|
|