| 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 |
|
|
| (subclass Meal Collection) | Food.kif 1681-1681 | Meal is a subclass of collection |
| (documentation Meal EnglishLanguage "Meal refers to a Collection of (%&FoodForFn Human) that is eaten at one time") | Food.kif 1682-1683 | Meal is a subclass of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Meal "meal") | Food.kif 1684-1684 |
| appearance as argument number 3 |
|
|
| (domain MealAttributeFn 1 Meal) | Food.kif 1904-1904 | 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 33375-33396 | If All of the following hold: (1) dieting is an attribute of X holds during Y (2) dieting is not an attribute of X holds during Z (3) W is an instance of meal (4) V is an instance of eating (5) X is an agent of V (6) W is a resource for V (7) the time of existence of V takes place during Y (8) the measure of W is U calorie(s) (9) T is an instance of meal (10) S is an instance of eating (11) X is an agent of S (12) T is a resource for S (13) the time of existence of S takes place during Z (14) the measure of T is R calorie(s), then the statement R is greater than U has the modal force of likely |
| (=> (instance ?X Meal) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human))))) |
Food.kif 1686-1691 | If X is an instance of meal, then For all Physical Y: if Y is a member of X, then Y is an instance of food for human |
| (=> (instance ?X Meal) (hasPurpose ?X (exists (?E) (and (instance ?E Eating) (patient ?E ?X))))) |
Food.kif 1694-1700 | If X is an instance of meal, then X has the purpose there exists Y such that Y is an instance of eating and X is a patient of Y |
| (=> (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 1712-1722 | If X is an instance of meal, breakfast is an attribute of X, Y is an instance of eating, and X is a patient of Y, then the statement there exists Z such that the time of existence of Y takes place during Z and Z is an instance of breakfast time has the modal force of likely |
| (=> (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 1737-1752 | If All of the following hold: (1) X is an instance of meal (2) Y is a member of X (3) Y is an instance of coffee or Y is an instance of tea (4) Z is a member of X (5) Z is an instance of juice (6) W is a member of X (7) W is an instance of bread or biscuit (8) W is a member of X (9) W is an instance of butter (10) V is a member of X (11) V is an instance of jam, then continental breakfast is an attribute of X |
| (=> (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 1782-1792 | If X is an instance of meal, lunch is an attribute of X, Y is an instance of eating, and X is a patient of Y, then the statement there exists Z such that the time of existence of Y takes place during Z and Z is an instance of lunch time has the modal force of likely |
| (=> (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 1799-1809 | If X is an instance of meal, dinner is an attribute of X, Y is an instance of eating, and X is a patient of Y, then the statement there exists Z such that the time of existence of Y takes place during Z and Z is an instance of dinner time has the modal force of likely |
| (=> (and (instance ?X Meal) (attribute ?X HighTea)) (exists (?TEA) (and (instance ?TEA Tea) (member ?TEA ?X)))) |
Food.kif 1841-1848 | If X is an instance of meal and high tea is an attribute of X, then there exists Y such that Y is an instance of tea and Y is a member of X |
|
|
|