| (subclass Sunday Day) | Merge.kif 9330-9330 | Domingo e' uma sub-classe de Dia |
| (subclass AdventSunday Sunday) | Media.kif 311-311 | AdventSunday e' uma sub-classe de Domingo |
| (subclass PalmSunday Sunday) | Media.kif 460-460 | PalmSunday e' uma sub-classe de Domingo |
| (subclass EasterSunday Sunday) | Media.kif 485-485 | EasterSunday e' uma sub-classe de Domingo |
| (subclass Pentecost Sunday) | Media.kif 551-551 | Pentecost e' uma sub-classe de Domingo |
|
|