[
Lists Home |
Date Index |
Thread Index
]
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" <bob@objfac.com>
To: "Roger L. Costello" <costello@mitre.org>; <xml-dev@lists.xml.org>
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.
|
