| LunchTime | |
| appearance as argument number 1 |
|
|
| (documentation LunchTime EnglishLanguage "LunchTime is the time interval by which lunch, or the mid-day meal, is typically eaten, which is usually sometime between 11am and 3pm") | Food.kif 1862-1864 | |
| (subclass LunchTime TimeInterval) | Food.kif 1861-1861 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LunchTime "lunch time") | Food.kif 1865-1865 |
| antecedent |
|
|
| (=> (instance ?TIME LunchTime) (exists (?ELEVEN ?THREE ?DAY) (and (during ?TIME (TimeIntervalFn (BeginFn ?ELEVEN) (EndFn ?THREE))) (instance ?ELEVEN (HourFn 11 ?DAY)) (instance ?THREE (HourFn 15 ?DAY))))) |
Food.kif 1867-1876 |
| consequent |
|
|
| (=> (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 1776-1786 |
|
|
|