PalmSunday - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PalmSunday

PalmSunday(palm sunday)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 462-468
No TPTP formula. May not be expressible in strict first order.	Media.kif 459-459	Palm sunday is a subclass of Christian holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 461-461	Palm sunday is a subclass of moveable holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 460-460	Palm sunday is a subclass of Sunday

appearance as argument number 2

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

domainEnglishFormat.kif 65288-65288

antecedent

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

Media.kif 473-482

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 palm sunday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the third time interval starts a fourth time interval and the other time interval finishes the fourth time interval,
then duration of the fourth time interval is 8 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