No TPTP formula. May not be expressible in strict first order. |
Media.kif 297-297 |
Advent e' uma sub-classe de MoveableHoliday |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 312-312 |
AdventSunday e' uma sub-classe de MoveableHoliday |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 529-529 |
AscensionThursday e' uma sub-classe de MoveableHoliday |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 486-486 |
EasterSunday e' uma sub-classe de MoveableHoliday |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 571-571 |
Hanukkah e' uma sub-classe de MoveableHoliday |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 414-414 |
Lent e' uma sub-classe de MoveableHoliday |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 461-461 |
PalmSunday e' uma sub-classe de MoveableHoliday |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 600-600 |
Passover e' uma sub-classe de MoveableHoliday |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 550-550 |
Pentecost e' uma sub-classe de MoveableHoliday |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 620-620 |
USThanksgivingDay e' uma sub-classe de MoveableHoliday |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39023-39023 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39022-39022 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39021-39021 |
|