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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meal
Meal(meal)TV_dinner, afternoon_tea, banquet, bite, business_lunch, chow, chuck, collation, cookout, eats, feast, grub, meal, mess, nosh, nosh-up, picnic, ploughman's_lunch, potluck, refection, refreshment, repast, snack, spread, supper, tea, teatime, training_table

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 Meal is a subclass of collection

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


(termFormat EnglishLanguage Meal "meal") Food.kif 138-138 "meal" is the printable form of meal in english language

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


(domain MealAttributeFn 1 Meal) Food.kif 292-292 The number 1 argument of meal attribute function is an instance of meal

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