(subclass FunctionQuantity PhysicalQuantity) | Merge.kif 2100-2100 | Function de quantit� est une sous-classe de quantit� physique |
(subclass UnaryConstantFunctionQuantity FunctionQuantity) | Merge.kif 2112-2112 | Fonction de quantit� unaire est une sous-classe de function de quantit� |
(subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 6208-6208 | CompositeUnitOfMeasure est une sous-classe de function de quantit� |
(subclass AreaMeasure FunctionQuantity) | Merge.kif 6267-6267 | Mesure d'aire est une sous-classe de function de quantit� |
(subclass VolumeMeasure FunctionQuantity) | Merge.kif 6278-6278 | Mesure de volume est une sous-classe de function de quantit� |