Dinner - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Dinner EnglishLanguage "Dinner refers to something that is typically eaten during the evening")	Food.kif 1795-1796
(instance Dinner RelationalAttribute)	Food.kif 1794-1794	Dinner is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage Dinner "dinner")

Food.kif 1797-1797

antecedent

(=>
    (and
        (instance ?X Meal)
        (attribute ?X Dinner)
        (instance ?E Eating)
        (patient ?E ?X))
    (modalAttribute
        (exists (?TIME)
            (and
                (during
                    (WhenFn ?E) ?TIME)
                (instance ?TIME DinnerTime))) Likely))

Food.kif 1799-1809

consequent

(=> (instance ?X FullBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Lunch) (includedMeal ?X Dinner)))	Hotel.kif 1596-1601	If a meal plan is an instance of full board, then meals of type breakfast are includes in the meal plan and meals of type lunch are includes in the meal plan and meals of type dinner are includes in the meal plan
(=> (instance ?X HalfBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Dinner)))	Hotel.kif 1608-1612	If a meal plan is an instance of half board, then meals of type breakfast are includes in the meal plan and meals of type dinner are includes in the meal plan
(=> (instance ?X MealPlanModifiedAmerican) (and (includedMeal ?X Breakfast) (or (includedMeal ?X Dinner) (includedMeal ?X Lunch))))	Hotel.kif 1649-1655	If a meal plan is an instance of meal plan modified american, then meals of type breakfast are includes in the meal plan and meals of type dinner are includes in the meal plan or meals of type lunch are includes in the meal plan