LunchTime - Sigma Knowledge base Browser

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 1868-1870
(subclass LunchTime TimeInterval)	Food.kif 1867-1867	Lunch time is a subclass of time interval

appearance as argument number 2

(termFormat EnglishLanguage LunchTime "lunch time")

Food.kif 1871-1871

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 1873-1882

If a time interval is an instance of lunch time,
then there exist another time interval, a third time interval and a kind of day such that the time interval takes place during interval between the beginning of the other time interval and the end of the third time interval and the other time interval is an instance of the hour 11 and the third time interval 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 1782-1792

If an object is an instance of meal and lunch is an attribute of the object and a process is an instance of eating and the object is a patient of the process,
then the statement there exists an entity such that the time of existence of the process takes place during the entity and the entity is an instance of lunch time has the modal force of likely

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: