Ed Barkmeyer wrote:
>> (...cutcut. You all could do that, too, btw. That really would be nice...)
> These are both true only after you assert that they must be abelian
> groups. Why would the Quantity Dimension have to be a group? (01)
Why would they not be? (dim, "*((dim, dim) -> dim)" form an abelian group by
the BIPM definitions? Quantities are no abelian group, obviously, but their
dimensions are. Or what is it I [and a whole bunch of CS guys] oversee here? (02)
-Martin (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/
Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/
Shared Files: http://ontolog.cim3.net/file/work/UoM/
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard (04)
|