ContinentalBreakfast - Sigma Knowledge base Browser

appearance as argument number 1

(subAttribute ContinentalBreakfast Breakfast)	Food.kif 1731-1731	Continental breakfast is a subattribute of breakfast
(documentation ContinentalBreakfast EnglishLanguage "ContinentalBreakfast refers to food that is normally served during BreakfastTime in NorthAmerica or Europe. Typical items include coffee, tea, fruit juice, fruit, and baked goods such as bread, muffins, and pastries, along with packets of butter and jam. [wikipedia]")	Food.kif 1732-1735	Continental breakfast is a subattribute of breakfast

appearance as argument number 2

antecedent

(=>
    (attribute ?MEAL ContinentalBreakfast)
    (or
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL NorthAmerica))
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL Europe))))

consequent

(=> (attribute ?MEAL ContinentalBreakfast) (or (equal ContinentalBreakfast (MealAttributeFn ?MEAL NorthAmerica)) (equal ContinentalBreakfast (MealAttributeFn ?MEAL Europe))))	Food.kif 1738-1742	If continental breakfast is an attribute of X, then equal continental breakfast and the appropriate meal for X in north america or equal continental breakfast and the appropriate meal for X in europe
(=> (and (instance ?M Meal) (member ?H ?M) (or (instance ?H Coffee) (instance ?H Tea)) (member ?J ?M) (instance ?J Juice) (member ?B ?M) (instance ?B BreadOrBiscuit) (member ?B ?M) (instance ?B Butter) (member ?JA ?M) (instance ?JA Jam)) (attribute ?M ContinentalBreakfast))	Food.kif 1744-1759	If All of the following hold: (1) X is an instance of meal (2) Y is a member of X (3) Y is an instance of coffee or Y is an instance of tea (4) Z is a member of X (5) Z is an instance of juice (6) W is a member of X (7) W is an instance of bread or biscuit (8) W is a member of X (9) W is an instance of butter (10) V is a member of X (11) V is an instance of jam, then continental breakfast is an attribute of X
(=> (instance ?X MealPlanContinental) (includedMeal ?X ContinentalBreakfast))	Hotel.kif 1630-1632	If X is an instance of continental meal plan, then meals of type continental breakfast are includes in X