| Breakfast | |
| appearance as argument number 1 |
|
|
| (documentation Breakfast EnglishLanguage "Breakfast describes food that is usually the first meal of the day, eaten during the morning") | Food.kif 113-114 | |
| (instance Breakfast RelationalAttribute) | Food.kif 112-112 | instance Breakfast and RelationalAttribute |
| appearance as argument number 2 |
|
|
| (subAttribute ContinentalBreakfast Breakfast) | Food.kif 130-130 | subAttribute ContinentalBreakfast and Breakfast |
| (termFormat EnglishLanguage Breakfast "breakfast") | Food.kif 115-115 |
| antecedent |
|
|
| (=> (and (instance ?X Buffet) (attribute ?X Breakfast)) (modalAttribute (forall (?FOOD) (=> (member ?FOOD ?X) (attribute ?FOOD Breakfast))) Likely)) |
Dining.kif 291-299 | |
| (=> (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 118-127 |
| consequent |
|
|
| (=> (and (instance ?X Buffet) (attribute ?X Breakfast)) (modalAttribute (forall (?FOOD) (=> (member ?FOOD ?X) (attribute ?FOOD Breakfast))) Likely)) |
Dining.kif 291-299 | |
| (=> (instance ?X FullBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Lunch) (includedMeal ?X Dinner))) |
Hotel.kif 1533-1538 |
|
| (=> (instance ?X HalfBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Dinner))) |
Hotel.kif 1545-1549 |
|
| (=> (instance ?X MealPlanBreakfast) (includedMeal ?X Breakfast)) |
Hotel.kif 1576-1578 | |
| (=> (instance ?X MealPlanModifiedAmerican) (and (includedMeal ?X Breakfast) (or (includedMeal ?X Dinner) (includedMeal ?X Lunch)))) |
Hotel.kif 1586-1592 |
|
|
|