Unit-of-measure KILOMETER

• Defined in theory: Standard-units
• Source code: standard-units.lisp

Slots on this instance:

Documentation:

Instance-Of: Unit-of-measure

Axioms:

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

(= Kilometer (* Meter 1000))