No TPTP formula. May not be expressible in strict first order. | Merge.kif 9308-9308 | Sunday is a subclass of day |
No TPTP formula. May not be expressible in strict first order. | Media.kif 311-311 | Advent sunday is a subclass of Sunday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 460-460 | Palm sunday is a subclass of Sunday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 485-485 | Easter sunday is a subclass of Sunday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 551-551 | Pentecost is a subclass of Sunday |