No TPTP formula. May not be expressible in strict first order. | Media.kif 619-619 | US thanksgiving day is a subclass of US holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 620-620 | US thanksgiving day is a subclass of moveable holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 621-621 | US thanksgiving day is a subclass of Thursday |