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 1862-1864
(subclass LunchTime TimeInterval)	Food.kif 1861-1861	Lunch time is a subclass of time interval

appearance as argument number 2

(termFormat EnglishLanguage LunchTime "lunch time")

Food.kif 1865-1865

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 1867-1876

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 1776-1786

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: