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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meal
Meal

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


(documentation Meal EnglishLanguage "Meal refers to a Collection of (%&FoodForFn Human) that is eaten at one time") Food.kif 136-137
(subclass Meal Collection) Food.kif 135-135

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


(termFormat EnglishLanguage Meal "meal") Food.kif 138-138

appearance as argument number 3
-------------------------


(domain MealAttributeFn 1 Meal) Food.kif 292-292

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


(=>
    (and
        (holdsDuring ?T1
            (attribute ?H Dieting))
        (holdsDuring ?T2
            (not
                (attribute ?H Dieting)))
        (instance ?M1 Meal)
        (instance ?E1 Eating)
        (agent ?E1 ?H)
        (resource ?E1 ?M1)
        (during
            (WhenFn ?E1) ?T1)
        (measure ?M1
            (MeasureFn ?C1 Calorie))
        (instance ?M2 Meal)
        (instance ?E2 Eating)
        (agent ?E2 ?H)
        (resource ?E2 ?M2)
        (during
            (WhenFn ?E2) ?T2)
        (measure ?M2
            (MeasureFn ?C2 Calorie)))
    (modalAttribute
        (greaterThan ?C2 ?C1) Likely))
Mid-level-ontology.kif 28795-28816
(=>
    (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 166-175
(=>
    (and
        (instance ?X Meal)
        (attribute ?X Dinner)
        (instance ?E Eating)
        (patient ?E ?X))
    (modalAttribute
        (and
            (during
                (WhenFn ?E) ?TIME)
            (instance ?TIME DinnerTime)) Likely))
Food.kif 210-219
(=>
    (and
        (instance ?X Meal)
        (attribute ?X HighTea))
    (exists (?TEA)
        (and
            (instance ?TEA Tea)
            (member ?TEA ?X))))
Food.kif 227-234
(=>
    (and
        (instance ?X Meal)
        (attribute ?X Lunch)
        (instance ?E Eating)
        (patient ?E ?X))
    (modalAttribute
        (and
            (during
                (WhenFn ?E) ?TIME)
            (instance ?TIME LunchTime)) Likely))
Food.kif 194-203
(=>
    (instance ?X Meal)
    (forall (?ITEM)
        (=>
            (member ?ITEM ?X)
            (instance ?ITEM
                (FoodForFn Human)))))
Food.kif 140-145
(=>
    (instance ?X Meal)
    (hasPurpose ?X
        (exists (?E)
            (and
                (instance ?E Eating)
                (patient ?E ?X)))))
Food.kif 148-154


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