Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 CollectionOfObjects) | Food.kif 1661-1661 | Meal is a subclass of collection |
| (documentation Meal EnglishLanguage "Meal refers to a CollectionOfObjects of (%&FoodForFn Human) that is eaten at one time") | Food.kif 1662-1663 | Meal is a subclass of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Meal "meal") | Food.kif 1664-1664 |
| appearance as argument number 3 |
|
|
| (domain MealAttributeFn 1 Meal) | Food.kif 1911-1911 | The number 1 argument of meal attribute function is an instance of meal |
| antecedent |
|
|
| (=> (instance ?X Meal) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human))))) |
Food.kif 1666-1671 | 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 1674-1680 | 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 (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)) |
Food.kif 1686-1707 | 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 |
| (=> (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 1719-1729 | 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 1744-1759 | 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 1789-1799 | 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 1806-1816 | 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 1848-1855 | 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 |
|