No TPTP formula. May not be expressible in strict first order. | Merge.kif 9308-9308 | Dimanche est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Media.kif 311-311 | AdventSunday est une sous-classe de Dimanche |
No TPTP formula. May not be expressible in strict first order. | Media.kif 460-460 | PalmSunday est une sous-classe de Dimanche |
No TPTP formula. May not be expressible in strict first order. | Media.kif 485-485 | EasterSunday est une sous-classe de Dimanche |
No TPTP formula. May not be expressible in strict first order. | Media.kif 551-551 | Pentecost est une sous-classe de Dimanche |