AscensionThursday - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AscensionThursday

AscensionThursday(ascension thursday)

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	Ascension thursday is a subclass of Christian holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 529-529	Ascension thursday is a subclass of moveable holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 530-530	Ascension thursday is a subclass of Thursday

appearance as argument number 2

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

domainEnglishFormat.kif 64490-64490

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 Easter sunday and a third time interval is an instance of ascension thursday 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 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