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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Breakfast
Breakfast

appearance as argument number 1
-------------------------


(documentation Breakfast EnglishLanguage "Breakfast describes food that is usually the first meal of the day, eaten during the morning") Food.kif 162-163
(instance Breakfast RelationalAttribute) Food.kif 161-161

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


(subAttribute ContinentalBreakfast Breakfast) Food.kif 179-179
(termFormat EnglishLanguage Breakfast "breakfast") Food.kif 164-164

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


(=>
    (and
        (instance ?X Buffet)
        (attribute ?X Breakfast))
    (modalAttribute
        (forall (?FOOD)
            (=>
                (member ?FOOD ?X)
                (attribute ?FOOD Breakfast))) Likely))
Dining.kif 298-306
(=>
    (and
        (instance ?X Meal)
        (attribute ?X Breakfast)
        (instance ?E Eating)
        (patient ?E ?X))
    (modalAttribute
        (and
            (during
                (WhenFn ?E) ?TIME)
            (instance ?TIME BreakfastTime)) Likely))
Food.kif 167-176

consequent
-------------------------


(=>
    (and
        (instance ?X Buffet)
        (attribute ?X Breakfast))
    (modalAttribute
        (forall (?FOOD)
            (=>
                (member ?FOOD ?X)
                (attribute ?FOOD Breakfast))) Likely))
Dining.kif 298-306
(=>
    (instance ?X FullBoard)
    (and
        (includedMeal ?X Breakfast)
        (includedMeal ?X Lunch)
        (includedMeal ?X Dinner)))
Hotel.kif 1529-1534
(=>
    (instance ?X HalfBoard)
    (and
        (includedMeal ?X Breakfast)
        (includedMeal ?X Dinner)))
Hotel.kif 1541-1545
(=>
    (instance ?X MealPlanBreakfast)
    (includedMeal ?X Breakfast))
Hotel.kif 1572-1574
(=>
    (instance ?X MealPlanModifiedAmerican)
    (and
        (includedMeal ?X Breakfast)
        (or
            (includedMeal ?X Dinner)
            (includedMeal ?X Lunch))))
Hotel.kif 1582-1588


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners