TreeView Knowledge Base Browser - AscensionThursday

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AscensionThursday

Sigma KEE - AscensionThursday

AscensionThursday

Ascension, Ascension_Day, Ascension_of_Christ, Ascension_of_the_Lord

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 531-534
No TPTP formula. May not be expressible in strict first order.	Media.kif 528-528	AscensionThursday is a subclass of ChristianHoliday
No TPTP formula. May not be expressible in strict first order.	Media.kif 529-529	AscensionThursday is a subclass of moveable holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 530-530	AscensionThursday is a subclass of Thursday

antecedent

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

Media.kif 538-547

If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of AscensionThursday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval,
then duration of the fourth time interval is 40 day duration(s)

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