| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14859-14859 | MoveableHoliday e' uma sub-classe de Holiday |
| 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 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 486-486 | EasterSunday 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 550-550 | Pentecost 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 600-600 | Passover 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 |
|
|