(subclass TimeDependentQuantity UnaryConstantFunctionQuantity) | Merge.kif 2120-2120 | Quantit�DipendenteDalTempo è una sottoclasse di FunzioneDiQuantit�UnariaECostante |
(subclass FrequencyMeasure TimeDependentQuantity) | Merge.kif 6834-6834 | FrequencyMeasure è una sottoclasse di Quantit�DipendenteDalTempo |