(subclass TimePosition TimeMeasure) | Merge.kif 2078-2078 | 子類 TimePosition and TimeMeasure |
(subclass TimeInterval TimePosition) | Merge.kif 2084-2084 | 子類 TimeInterval and TimePosition |
(subclass TimePoint TimePosition) | Merge.kif 2091-2091 | 子類 TimePoint and TimePosition |