TreeView Knowledge Base Browser - LunchTime

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LunchTime

LunchTime(lunch time)

lunch_period, lunchtime

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1862-1864
No TPTP formula. May not be expressible in strict first order.	Food.kif 1861-1861	Lunch time is a subclass of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Food.kif 1865-1865

antecedent

No TPTP formula. May not be expressible in strict first order.

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

No TPTP formula. May not be expressible in strict first order.

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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