| BreakfastTime(breakfast time) | | breakfast_time |
| appearance as argument number 1 |
|
|
| (documentation BreakfastTime EnglishLanguage "BreakfastTime is the time interval by which the first meal of the day is typically eaten, which is in the morning") | Food.kif 1856-1857 | |
| (subclass BreakfastTime TimeInterval) | Food.kif 1855-1855 | Breakfast time is a subclass of time interval |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BreakfastTime "breakfast time") | Food.kif 1858-1858 |
| antecedent |
|
|
| (=> (instance ?TIME BreakfastTime) (exists (?MORN) (and (instance ?MORN Morning) (during ?TIME ?MORN)))) |
Food.kif 1860-1865 |
|
| consequent |
|
|
| (=> (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 |
|
|
|
|