| (subclass TimeDependentQuantity UnaryConstantFunctionQuantity) | Merge.kif 2120-2120 | Quantidade Dependente do Tempo e' uma sub-classe de Funcao de Quantidade Unaria |
| (subclass FrequencyMeasure TimeDependentQuantity) | Merge.kif 6834-6834 | FrequencyMeasure e' uma sub-classe de Quantidade Dependente do Tempo |
|
|