No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24235-24245 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24194-24205 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9252-9252 | 子類 Day and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9262-9262 | 子類 Monday and Day |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9265-9265 | 子類 Tuesday and Day |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9278-9278 | 子類 Wednesday and Day |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9291-9291 | 子類 Thursday and Day |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9304-9304 | 子類 Friday and Day |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9317-9317 | 子類 Saturday and Day |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9330-9330 | 子類 Sunday and Day |
No TPTP formula. May not be expressible in strict first order. | Media.kif 335-335 | 子類 ChristmasDay and Day |