| (subclass Sunday Day) | Merge.kif 9308-9308 | Sunday is a subclass of day |
| (subclass AdventSunday Sunday) | Media.kif 311-311 | Advent sunday is a subclass of Sunday |
| (subclass PalmSunday Sunday) | Media.kif 460-460 | Palm sunday is a subclass of Sunday |
| (subclass EasterSunday Sunday) | Media.kif 485-485 | Easter sunday is a subclass of Sunday |
| (subclass Pentecost Sunday) | Media.kif 551-551 | Pentecost is a subclass of Sunday |
|
|