Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LunchTime(lunch time) |  | lunch_period, lunchtime |
| appearance as argument number 1 |
|
|
| (subclass LunchTime TimeInterval) | Food.kif 1874-1874 | Lunch time is a subclass of timeframe |
| (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 1875-1877 | Lunch time is a subclass of timeframe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LunchTime "lunch time") | Food.kif 1878-1878 |
| 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 1880-1889 | If X is an instance of lunch time, then there exist Y, Z, W such that X takes place during interval between the beginning of Y, the end of Z, Y is an instance of the hour 11, and Z is an instance of the hour 15 |
| 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 1789-1799 | If X is an instance of meal, lunch is an attribute of X, Y is an instance of eating, and X is a patient of Y, then the statement there exists Z such that the time of existence of Y takes place during Z and Z is an instance of lunch time has the modal force of likely |
|