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