TreeView Knowledge Base Browser - Morning

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Morning

Morning(morning)

early-morning_hour, forenoon, morn, morning, morning_time

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8827-8827	Morning is disjoint from afternoon
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8829-8829	Morning is disjoint from evening
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8840-8841
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3161-3161
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2976-2976
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3162-3162
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8839-8839	Morning is a subclass of day time

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8855-8855	The range of morning fn is an instance of morning
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38549-38549
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38548-38548
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38547-38547

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8860-8865	If a morning is an instance of morning and a day is an instance of day and the morning is equal to the morning of the day, then the morning takes place during the day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8843-8849	If a time interval is an instance of morning, then there exist another time interval and a kind of day such that the other time interval is an instance of the hour 12 and the other time interval finishes the time interval

consequent

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

Food.kif 1854-1859

If a time interval is an instance of breakfast time,
then there exists another time interval such that the other time interval is an instance of morning and the time interval takes place during the other time interval

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