(subclass TimePosition TimeMeasure) | Merge.kif 2078-2078 | Position temporel est une sous-classe de mesure temporel |
(subclass TimeInterval TimePosition) | Merge.kif 2084-2084 | Interval temporel est une sous-classe de position temporel |
(subclass TimePoint TimePosition) | Merge.kif 2091-2091 | Point temporel est une sous-classe de position temporel |