No TPTP formula. May not be expressible in strict first order. | Merge.kif 9291-9291 | Jeudi est une sous-classe de jour |
No TPTP formula. May not be expressible in strict first order. | Media.kif 530-530 | AscensionThursday est une sous-classe de Jeudi |
No TPTP formula. May not be expressible in strict first order. | Media.kif 621-621 | USThanksgivingDay est une sous-classe de Jeudi |
![]() |