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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 PalmSundayChristianHolidaysubclass
(subclass PalmSunday MoveableHoliday) Media.kif 461-461 PalmSunday可动的假期subclass
(subclass PalmSunday Sunday) Media.kif 460-460 PalmSunday星期日subclass

appearance as argument number 2

(termFormat EnglishLanguage PalmSunday "palm sunday") domainEnglishFormat.kif 65288-65288


        (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 3.0 is open source software produced by Articulate Software and its partners