(subclass UnitOfMeasureMultiplier UnaryFunction) | Merge.kif 6447-6447 | UnitOfMeasureMultiplier e' uma sub-classe de funcao Unaria |
(subclass UnitOfMeasureMultiplier TotalValuedRelation) | Merge.kif 6448-6448 | UnitOfMeasureMultiplier e' uma sub-classe de Relacao Total |