Function STANDARD-UNIT

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

Slots on this function:

Documentation:

The standard-unit for a given system and dimension is a unit in that system whose dimension is the given dimension.

Arity: 3

Axioms:

(Nth-Domain Standard-Unit 3 Unit-Of-Measure)

(Nth-Domain Standard-Unit 2 Physical-Dimension)

(Nth-Domain Standard-Unit 1 System-Of-Units)

(<=> (Standard-Unit ?System-Of-Units ?Dimension ?Unit)
     (And (System-Of-Units ?System-Of-Units)
          (Physical-Dimension ?Dimension)
          (Unit-Of-Measure ?Unit)
          (Instance-Of ?Unit ?System-Of-Units)
          (= (Quantity.Dimension ?Unit) ?Dimension)))