No TPTP formula. May not be expressible in strict first order. | Merge.kif 2078-2078 | Position temporel est une sous-classe de mesure temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2084-2084 | Interval temporel est une sous-classe de position temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2091-2091 | Point temporel est une sous-classe de position temporel |