MealPlanEuropean |
appearance as argument number 1 |
(documentation MealPlanEuropean EnglishLanguage "MealPlanEuropean describes an arrangement where no meals are provided for by the TravelerAccommodation") | Hotel.kif 1604-1605 | |
(subclass MealPlanEuropean MealPlan) | Hotel.kif 1603-1603 | MealPlanEuropean è una sottoclasse di MealPlan |
appearance as argument number 2 |
(termFormat EnglishLanguage MealPlanEuropean "european meal plan") | Hotel.kif 1606-1606 |
antecedent |
(=> (instance ?X MealPlanEuropean) (not (exists (?ATTR) (includedMeal ?X ?ATTR)))) |
Hotel.kif 1608-1612 |