| 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 e' uma sub-classe de Proposicao |
| appearance as argument number 2 |
|
|
| (subclass FullBoard MealPlan) | Hotel.kif 1580-1580 | FullBoard e' uma sub-classe de MealPlan |
| (subclass HalfBoard MealPlan) | Hotel.kif 1592-1592 | HalfBoard e' uma sub-classe de MealPlan |
| (subclass MealPlanBreakfast MealPlan) | Hotel.kif 1623-1623 | MealPlanBreakfast e' uma sub-classe de MealPlan |
| (subclass MealPlanEuropean MealPlan) | Hotel.kif 1603-1603 | MealPlanEuropean e' uma sub-classe de MealPlan |
| (subclass MealPlanModifiedAmerican MealPlan) | Hotel.kif 1632-1632 | MealPlanModifiedAmerican e' uma sub-classe de MealPlan |
| (termFormat EnglishLanguage MealPlan "meal plan") | Hotel.kif 1544-1544 |
| appearance as argument number 3 |
|
|
| (domain includedMeal 1 MealPlan) | Hotel.kif 1551-1551 | O argumento numero 1 de includedMeal e' uma instancia de MealPlan |
| (domainSubclass mealPlanInclusion 2 MealPlan) | Hotel.kif 2798-2798 | O argumento numero 2 de mealPlanInclusion e' uma sub-classe de 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 |
|
|
|
|