| (subclass FunctionQuantity PhysicalQuantity) | Merge.kif 2100-2100 | FunctionQuantity ist eine teilkategorie von PhysicalQuantity |
| (subclass UnaryConstantFunctionQuantity FunctionQuantity) | Merge.kif 2112-2112 | UnaryConstantFunctionQuantity ist eine teilkategorie von FunctionQuantity |
| (subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 6208-6208 | CompositeUnitOfMeasure ist eine teilkategorie von FunctionQuantity |
| (subclass AreaMeasure FunctionQuantity) | Merge.kif 6267-6267 | AreaMeasure ist eine teilkategorie von FunctionQuantity |
| (subclass VolumeMeasure FunctionQuantity) | Merge.kif 6278-6278 | VolumeMeasure ist eine teilkategorie von FunctionQuantity |
|
|