TreeView Knowledge Base Browser

appearance as argument number 1

(subclass BreakfastTime TimeInterval)	Food.kif 1862-1862	Breakfast time is a subclass of timeframe
(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 1863-1864	Breakfast time is a subclass of timeframe

appearance as argument number 2

(termFormat EnglishLanguage BreakfastTime "breakfast time")

antecedent

(=>
    (instance ?TIME BreakfastTime)
    (exists (?MORN)
        (and
            (instance ?MORN Morning)
            (during ?TIME ?MORN))))

If X is an instance of breakfast time, then there exists Y such that Y is an instance of morning and X takes place during Y

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))

If X is an instance of meal, breakfast 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 breakfast time has the modal force of likely