Relation DIMENSIONED-NUMBER

(dimensioned-number Quantity UnitString Measure) Relates a Measure to a `Quantity' in the given unit
as long as `Quantity' is either a Number, or it and `UnitString' are compatible.

Arity: 3

Range: Measure

Axioms:

(Nth-Domain Dimensioned-Number 2 String)

(Nth-Domain Dimensioned-Number 1 Quantity)

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