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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pentecost
PentecostPentecost, Whitsunday

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


(documentation Pentecost EnglishLanguage "An instance of Pentecost is a ChristianHoliday that commemorates the descent of the Holy Spirit onto the Apostles and other followers of Jesus, as described in the Book of Acts.") Media.kif 552-555
(subclass Pentecost ChristianHoliday) Media.kif 549-549 Pentecost is a subclass of ChristianHoliday
(subclass Pentecost MoveableHoliday) Media.kif 550-550 Pentecost is a subclass of moveable holiday
(subclass Pentecost Sunday) Media.kif 551-551 Pentecost is a subclass of Sunday

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


(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P Pentecost)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?E ?I)
        (finishes ?P ?I))
    (duration ?I
        (MeasureFn 50 DayDuration)))
Media.kif 559-568


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