militaryAge
|
|
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 は 命題 の subclass では %n |
appearance as argument number 2 |
(subclass FullBoard MealPlan) | Hotel.kif 1580-1580 | FullBoard は MealPlan の subclass では %n |
(subclass HalfBoard MealPlan) | Hotel.kif 1592-1592 | HalfBoard は MealPlan の subclass では %n |
(subclass MealPlanBreakfast MealPlan) | Hotel.kif 1623-1623 | MealPlanBreakfast は MealPlan の subclass では %n |
(subclass MealPlanEuropean MealPlan) | Hotel.kif 1603-1603 | MealPlanEuropean は MealPlan の subclass では %n |
(subclass MealPlanModifiedAmerican MealPlan) | Hotel.kif 1632-1632 | MealPlanModifiedAmerican は MealPlan の subclass では %n |
(termFormat EnglishLanguage MealPlan "meal plan") | Hotel.kif 1544-1544 |
appearance as argument number 3 |
(domain includedMeal 1 MealPlan) | Hotel.kif 1551-1551 | includedMeal の数値 1 引数は MealPlan の instance では %n |
(domainSubclass mealPlanInclusion 2 MealPlan) | Hotel.kif 2798-2798 | mealPlanInclusion の数値 2 引数は MealPlan のsubclass では %n |
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 |
|