| 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 1707-1708 | |
| (instance Breakfast RelationalAttribute) | Food.kif 1706-1706 | Breakfast は 関係属性 の instance では |
| appearance as argument number 2 |
|
|
| (subAttribute ContinentalBreakfast Breakfast) | Food.kif 1724-1724 | ContinentalBreakfast は Breakfast の subattribute では |
| (termFormat EnglishLanguage Breakfast "breakfast") | Food.kif 1709-1709 | ContinentalBreakfast は Breakfast の subattribute では |
| antecedent |
|
|
| (=> (and (instance ?X Buffet) (attribute ?X Breakfast)) (modalAttribute (forall (?FOOD) (=> (member ?FOOD ?X) (attribute ?FOOD Breakfast))) Likely)) |
Dining.kif 295-303 | |
| (=> (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 |
| consequent |
|
|
|
|
|