TreeView Knowledge Base Browser

appearance as argument number 1

(subclass DinnerTime TimeInterval)	Food.kif 1891-1891	Dinner time is a subclass of timeframe
(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 1892-1894	Dinner time is a subclass of timeframe

appearance as argument number 2

(termFormat EnglishLanguage DinnerTime "dinner time")

antecedent

(=>
    (instance ?TIME DinnerTime)
    (exists (?NIGHT)
        (and
            (instance ?NIGHT NightTime)
            (during ?TIME ?NIGHT))))

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

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

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