No TPTP formula. May not be expressible in strict first order. | Media.kif 264-264 | Christian holiday is a subclass of holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 296-296 | Advent is a subclass of Christian holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 310-310 | Advent sunday is a subclass of Christian holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 334-334 | Christmas day is a subclass of Christian holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 413-413 | Lent is a subclass of Christian holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 459-459 | Palm sunday is a subclass of Christian holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 484-484 | Easter sunday is a subclass of Christian holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 516-516 | Epiphany is a subclass of Christian holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 528-528 | Ascension thursday is a subclass of Christian holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 549-549 | Pentecost is a subclass of Christian holiday |