BreakfastTime
|
|
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 1850-1851 | |
(subclass BreakfastTime TimeInterval) | Food.kif 1849-1849 | BreakfastTime は 時間間隔 の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage BreakfastTime "breakfast time") | Food.kif 1852-1852 |
antecedent |
(=> (instance ?TIME BreakfastTime) (exists (?MORN) (and (instance ?MORN Morning) (during ?TIME ?MORN)))) |
Food.kif 1854-1859 |
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 1706-1716 |