Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PalmSunday
PalmSunday

appearance as argument number 1
-------------------------


(documentation PalmSunday EnglishLanguage "An instance of PalmSunday is a ChristianHoliday that commemorates the Triumphal Entry of Jesus into Jerusalem in the days preceding his crucifixion. The actual date of a PalmSunday is determined by the date of the corresponding EasterSunday, and so, like Easter, Palm Sunday is a MoveableHoliday.") Media.kif 462-468
(subclass PalmSunday ChristianHoliday) Media.kif 459-459
(subclass PalmSunday MoveableHoliday) Media.kif 461-461
(subclass PalmSunday Sunday) Media.kif 460-460

antecedent
-------------------------


(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P PalmSunday)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?P ?I)
        (finishes ?E ?I))
    (duration ?I
        (MeasureFn 8 DayDuration)))
Media.kif 473-482


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners