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