> Here is a description of kilometer:
>
> baseUOM(kilometer) --> meter
> subPropertyOf(kilometer) --> uom
> domain(kilometer) --> Distance
> range(kilometer) --> xsd:decimal
> canonical(range(kilometer)) --> Formula
> precision(Formula) --> xsd:nonNegativeInteger
kilometer is a function that accepts a Distance and produces a pure number?
How odd.
It seems that kilometer, if it is to be viewed as a function, must operate
only on the unit of measure property without affecting the type of the
value. If the domain is Distance, the range must be Distance; the difference
is that the argument distance is expressed in some (unspecified above) unit
of measure and the result distance is expressed in kilometers.
Bob Foster
