(subclass TimeMeasure ConstantQuantity) | Merge.kif 2067-2067 | 子類 TimeMeasure and ConstantQuantity |
(subclass TimeDuration TimeMeasure) | Merge.kif 2073-2073 | 子類 TimeDuration and TimeMeasure |
(subclass TimePosition TimeMeasure) | Merge.kif 2078-2078 | 子類 TimePosition and TimeMeasure |