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 8813-8813	Morning is disjoint from afternoon
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8815-8815	Morning is disjoint from evening
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8826-8827
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 8825-8825	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 8841-8841	The range of morning fn is an instance of morning
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38547-38547
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38546-38546
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38545-38545

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8846-8851	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 8829-8835	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