No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30018-30048 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2091-2091 | 子類 TimePoint and TimePosition |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2135-2135 | 子類 時代 and TimePoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8802-8802 | 子類 Midnight and TimePoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8876-8876 | 子類 Noon and TimePoint |
![]() |