No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30030-30060 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2091-2091 | 时点 是 时间位置 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2135-2135 | 时代 是 时点 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8780-8780 | Midnight 是 时点 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8854-8854 | Noon 是 时点 的 subclass |