(subclass UnitOfMeasureMultiplier UnaryFunction) | Merge.kif 6447-6447 | Unit of measure multiplier is a subclass of unary function |
(subclass UnitOfMeasureMultiplier TotalValuedRelation) | Merge.kif 6448-6448 | Unit of measure multiplier is a subclass of total valued relation |