No TPTP formula. May not be expressible in strict first order. | Media.kif 264-264 | ChristianHoliday est une sous-classe de Holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 296-296 | Advent est une sous-classe de ChristianHoliday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 310-310 | AdventSunday est une sous-classe de ChristianHoliday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 334-334 | ChristmasDay est une sous-classe de ChristianHoliday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 413-413 | Lent est une sous-classe de ChristianHoliday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 459-459 | PalmSunday est une sous-classe de ChristianHoliday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 484-484 | EasterSunday est une sous-classe de ChristianHoliday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 516-516 | Epiphany est une sous-classe de ChristianHoliday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 528-528 | AscensionThursday est une sous-classe de ChristianHoliday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 549-549 | Pentecost est une sous-classe de ChristianHoliday |