Lunch - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Lunch EnglishLanguage "Lunch refers to something that is usually eaten mid-day")	Food.kif 1772-1773
(instance Lunch RelationalAttribute)	Food.kif 1771-1771	Lunch is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage Lunch "lunch")

Food.kif 1774-1774

antecedent

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

Food.kif 1776-1786

consequent

(=> (instance ?X FullBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Lunch) (includedMeal ?X Dinner)))	Hotel.kif 1585-1590	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 MealPlanModifiedAmerican) (and (includedMeal ?X Breakfast) (or (includedMeal ?X Dinner) (includedMeal ?X Lunch))))	Hotel.kif 1638-1644	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