Relation UNIT-MAGNITUDE-AS

(unit-value-as Measure UnitString Number) Relates a Measure to its magnitude in the given unit
as long as `Measure' and `UnitString' are compatible.

Arity: 3

Range: Number

Axioms:

(Nth-Domain Unit-Magnitude-As 2 String)

(Nth-Domain Unit-Magnitude-As 1 Measure)

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp