(subclass TimeMeasure ConstantQuantity) | Merge.kif 2067-2067 | TimeMeasure ist eine teilkategorie von ConstantQuantity |
(subclass TimeDuration TimeMeasure) | Merge.kif 2073-2073 | TimeDuration ist eine teilkategorie von TimeMeasure |
(subclass TimePosition TimeMeasure) | Merge.kif 2078-2078 | TimePosition ist eine teilkategorie von TimeMeasure |