(subclass TimeDependentQuantity UnaryConstantFunctionQuantity) | Merge.kif 2120-2120 | Quantit� d�pendant du temps est une sous-classe de fonction de quantit� unaire |
(subclass FrequencyMeasure TimeDependentQuantity) | Merge.kif 6834-6834 | FrequencyMeasure est une sous-classe de quantit� d�pendant du temps |