Unit-of-measure METER


Slots on this instance:

Documentation:
SI length unit. No conversion function is given because this is a standard.
Instance-Of: Si-unit, Unit-of-measure

Axioms:

(= (Quantity.Dimension Meter) Length-Dimension)