No TPTP formula. May not be expressible in strict first order. | Merge.kif 9269-9269 | 星期四 是 日 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 530-530 | AscensionThursday 是 星期四 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 621-621 | USThanksgivingDay 是 星期四 的 subclass |