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 1676-1677 | |
(subclass Meal Collection) | Food.kif 1675-1675 | Meal ist eine teilkategorie von Collection |
appearance as argument number 2 |
(termFormat EnglishLanguage Meal "meal") | Food.kif 1678-1678 |
appearance as argument number 3 |
(domain MealAttributeFn 1 Meal) | Food.kif 1898-1898 | Die Zahl 1 Argument von MealAttributeFn ist ein fall von Meal %n{nicht} |
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 30662-30683 |
|
(=> (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 |
|
(=> (and (instance ?X Meal) (attribute ?X Breakfast) (instance ?E Eating) (patient ?E ?X)) (modalAttribute (exists (?TIME) (and (during (WhenFn ?E) ?TIME) (instance ?TIME BreakfastTime))) Likely)) |
Food.kif 1706-1716 |
|
(=> (and (instance ?X Meal) (attribute ?X Dinner) (instance ?E Eating) (patient ?E ?X)) (modalAttribute (exists (?TIME) (and (during (WhenFn ?E) ?TIME) (instance ?TIME DinnerTime))) Likely)) |
Food.kif 1793-1803 |
|
(=> (and (instance ?X Meal) (attribute ?X HighTea)) (exists (?TEA) (and (instance ?TEA Tea) (member ?TEA ?X)))) |
Food.kif 1835-1842 |
|
(=> (and (instance ?X Meal) (attribute ?X Lunch) (instance ?E Eating) (patient ?E ?X)) (modalAttribute (exists (?TIME) (and (during (WhenFn ?E) ?TIME) (instance ?TIME LunchTime))) Likely)) |
Food.kif 1776-1786 |
|
(=> (instance ?X Meal) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human))))) |
Food.kif 1680-1685 |
|
(=> (instance ?X Meal) (hasPurpose ?X (exists (?E) (and (instance ?E Eating) (patient ?E ?X))))) |
Food.kif 1688-1694 |