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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PalmSunday
PalmSunday(palm sunday)Palm_Sunday

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 Palm sunday is a subclass of Christian holiday
(subclass PalmSunday MoveableHoliday) Media.kif 461-461 Palm sunday is a subclass of moveable holiday
(subclass PalmSunday Sunday) Media.kif 460-460 Palm sunday is a subclass of Sunday

appearance as argument number 2
-------------------------


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

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