|
|
   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 è una sottoclasse di Proposizione |
| appearance as argument number 2 |
|
|
| (subclass FullBoard MealPlan) | Hotel.kif 1580-1580 | FullBoard è una sottoclasse di MealPlan |
| (subclass HalfBoard MealPlan) | Hotel.kif 1592-1592 | HalfBoard è una sottoclasse di MealPlan |
| (subclass MealPlanBreakfast MealPlan) | Hotel.kif 1623-1623 | MealPlanBreakfast è una sottoclasse di MealPlan |
| (subclass MealPlanEuropean MealPlan) | Hotel.kif 1603-1603 | MealPlanEuropean è una sottoclasse di MealPlan |
| (subclass MealPlanModifiedAmerican MealPlan) | Hotel.kif 1632-1632 | MealPlanModifiedAmerican è una sottoclasse di MealPlan |
| (termFormat EnglishLanguage MealPlan "meal plan") | Hotel.kif 1544-1544 |
| appearance as argument number 3 |
|
|
| (domain includedMeal 1 MealPlan) | Hotel.kif 1551-1551 | Il numero 1 argomenti di includedMeal è un istanza di MealPlan |
| (domainSubclass mealPlanInclusion 2 MealPlan) | Hotel.kif 2798-2798 | Il numero 2 argomento mealPlanInclusion è una sottoclasse diMealPlan |
| 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 |
|
|
|
|