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 1778-1779
(instance Lunch RelationalAttribute)	Food.kif 1777-1777	Lunch is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage Lunch "lunch")

Food.kif 1780-1780

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 1782-1792

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