(subclass TimeDependentQuantity UnaryConstantFunctionQuantity) | Merge.kif 2120-2120 | TimeDependentQuantity ist eine teilkategorie von UnaryConstantFunctionQuantity |
(subclass FrequencyMeasure TimeDependentQuantity) | Merge.kif 6834-6834 | FrequencyMeasure ist eine teilkategorie von TimeDependentQuantity |