No TPTP formula. May not be expressible in strict first order. | Government.kif 619-625 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14855-14855 | Fixed holiday is a subclass of holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 336-336 | Christmas day is a subclass of fixed holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 518-518 | Epiphany is a subclass of fixed holiday |