| DinnerTime(dinner time) | | dinnertime, suppertime |
| appearance as argument number 1 |
|
|
| (documentation DinnerTime EnglishLanguage "DinnerTime is the time interval by which dinner, or the evening meal, is typically eaten, which is usually sometime during the evening") | Food.kif 1879-1881 | |
| (subclass DinnerTime TimeInterval) | Food.kif 1878-1878 | Dinner time is a subclass of time interval |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DinnerTime "dinner time") | Food.kif 1882-1882 |
| antecedent |
|
|
| (=> (instance ?TIME DinnerTime) (exists (?NIGHT) (and (instance ?NIGHT NightTime) (during ?TIME ?NIGHT)))) |
Food.kif 1884-1889 |
|
| consequent |
|
|
| (=> (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 1793-1803 |
|
|
|
|