No TPTP formula. May not be expressible in strict first order. | Merge.kif 2078-2078 | Time position is a subclass of time measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2084-2084 | Time interval is a subclass of time position |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2091-2091 | Time point is a subclass of time position |