No TPTP formula. May not be expressible in strict first order. | Media.kif 484-484 | EasterSunday e' uma sub-classe de ChristianHoliday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 485-485 | EasterSunday e' uma sub-classe de Domingo |
No TPTP formula. May not be expressible in strict first order. | Media.kif 486-486 | EasterSunday e' uma sub-classe de MoveableHoliday |