So that symbolic distances can be used:
kilometer(length-of-Amazon-river-in-meters)
--> length-of-Amazon-river-in-meters/1000
?
Jeff
----- Original Message -----
From: "Bob Foster" <>
To: "Roger L. Costello" <>; <>
Sent: Thursday, July 24, 2003 11:27 AM
Subject: Re: [xml-dev] Re: An approach to describing the relationships
betweenunits-of-measure
> 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.
