Function BASE-UNITS

• Defined in theory: Physical-quantities
• Source code: physical-quantities.lisp

Slots on this function:

Documentation:

Defines a set of base units for a system of units.

Arity: 2

Domain: System-of-units

Range: Set

Axioms:

(=> (Base-Units ?System-Of-Units ?Set-Of-Units)
    (=> (Member ?Unit ?Set-Of-Units) (Unit-Of-Measure ?Unit)))