ContinentalBreakfast - Sigma Knowledge base Browser

appearance as argument number 1

(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 1725-1728
(subAttribute ContinentalBreakfast Breakfast)	Food.kif 1724-1724	Continental breakfast is a subattribute of breakfast

appearance as argument number 2

(termFormat EnglishLanguage ContinentalBreakfast "continental breakfast")

Food.kif 1729-1729

antecedent

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

Food.kif 1731-1735

If continental breakfast is an attribute of a meal,
then continental breakfast is equal to the appropriate meal for the meal in north america or continental breakfast is equal to the appropriate meal for the meal in europe

consequent

(=> (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 1737-1752	If a collection is an instance of meal and a physical is a member of the collection and the physical is an instance of coffee or the physical is an instance of tea and another physical is a member of the collection and the other physical is an instance of juice and a third physical is a member of the collection and the third physical is an instance of bread or biscuit and the third physical is a member of the collection and the third physical is an instance of butter and the other physicalA is a member of the collection and the other physicalA is an instance of jam, then continental breakfast is an attribute of the collection
(=> (attribute ?MEAL ContinentalBreakfast) (or (equal ContinentalBreakfast (MealAttributeFn ?MEAL NorthAmerica)) (equal ContinentalBreakfast (MealAttributeFn ?MEAL Europe))))	Food.kif 1731-1735	If continental breakfast is an attribute of a meal, then continental breakfast is equal to the appropriate meal for the meal in north america or continental breakfast is equal to the appropriate meal for the meal in europe
(=> (instance ?X MealPlanContinental) (includedMeal ?X ContinentalBreakfast))	Hotel.kif 1630-1632	If a meal plan is an instance of continental meal plan, then meals of type continental breakfast are includes in the meal plan

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: