(subclass FunctionQuantity PhysicalQuantity) | Merge.kif 2100-2100 | Function quantity is a subclass of physical quantity |
(subclass UnaryConstantFunctionQuantity FunctionQuantity) | Merge.kif 2112-2112 | Unary constant function quantity is a subclass of function quantity |
(subclass CompositeUnitOfMeasure FunctionQuantity) | Merge.kif 6208-6208 | Composite unit of measure is a subclass of function quantity |
(subclass AreaMeasure FunctionQuantity) | Merge.kif 6267-6267 | Area measure is a subclass of function quantity |
(subclass VolumeMeasure FunctionQuantity) | Merge.kif 6278-6278 | Volume measure is a subclass of function quantity |