Class SI-UNIT

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

Slots on this class:

Documentation:

The class of Systeme International units.

Instance-Of: Class, System-of-units

Subclass-Of: Unit-of-measure

Axioms:

(= (Base-Units Si-Unit)
   (Setof Meter
          Kilogram
          Second-Of-Time
          Ampere
          Degree-Kelvin
          Mole
          Candela
          Identity-Unit))