Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContinentalBreakfast
ContinentalBreakfast(continental breakfast)continental_breakfast, petit_dejeuner

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 1719-1722
(subAttribute ContinentalBreakfast Breakfast) Food.kif 1718-1718 Continental breakfast is a subattribute of breakfast

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ContinentalBreakfast "continental breakfast") Food.kif 1723-1723

antecedent
-------------------------


(=>
    (attribute ?MEAL ContinentalBreakfast)
    (or
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL NorthAmerica))
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL Europe))))
Food.kif 1725-1729

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 1731-1746
(=>
    (attribute ?MEAL ContinentalBreakfast)
    (or
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL NorthAmerica))
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL Europe))))
Food.kif 1725-1729
(=>
    (instance ?X MealPlanContinental)
    (includedMeal ?X ContinentalBreakfast))
Hotel.kif 1619-1621


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