Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Lunch(lunch) |  | dejeuner, lunch, luncheon, tiffin |
| appearance as argument number 1 |
|
|
| (instance Lunch RelationalAttribute) | Food.kif 1784-1784 | Lunch is an instance of relational attribute |
| (documentation Lunch EnglishLanguage "Lunch refers to something that is usually eaten mid_day") | Food.kif 1785-1786 | Lunch is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Lunch "lunch") | Food.kif 1787-1787 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (instance ?X FullBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Lunch) (includedMeal ?X Dinner))) |
Hotel.kif 1596-1601 | If X is an instance of full board, then meals of type breakfast are includes in X, meals of type lunch are includes in X, and meals of type dinner are includes in X |
| (=> (instance ?X MealPlanModifiedAmerican) (and (includedMeal ?X Breakfast) (or (includedMeal ?X Dinner) (includedMeal ?X Lunch)))) |
Hotel.kif 1649-1655 | If X is an instance of meal plan modified american, then meals of type breakfast are includes in X and meals of type dinner are includes in X or meals of type lunch are includes in X |
|