No TPTP formula. May not be expressible in strict first order. | Merge.kif 2067-2067 | Time measure is a subclass of constant quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2073-2073 | Time duration is a subclass of time measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2078-2078 | Time position is a subclass of time measure |