No TPTP formula. May not be expressible in strict first order. | Media.kif 484-484 | EasterSunday 是 ChristianHoliday 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 485-485 | EasterSunday 是 星期日 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 486-486 | EasterSunday 是 可动的假期 的 subclass |