Dinner - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Dinner "dinner")

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))

If X is an instance of meal, dinner is an attribute of X, Y is an instance of eating, and X is a patient of Y, then the statement there exists Z such that the time of existence of Y takes place during Z and Z is an instance of dinner time has the modal force of likely

consequent

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