(subclass TimeDependentQuantity UnaryConstantFunctionQuantity) | Merge.kif 2120-2120 | Time dependent quantity is a subclass of unary constant function quantity |
(subclass FrequencyMeasure TimeDependentQuantity) | Merge.kif 6834-6834 | Frequency measure is a subclass of time dependent quantity |