(= (Quantity.Dimension Ampere) Electrical-Current-Dimension)
(= (Base-Units Si-Unit)
(Setof Meter
Kilogram
Second-Of-Time
Ampere
Degree-Kelvin
Mole
Candela
Identity-Unit))
(= Milli-Amp (* 0.001 Ampere))
(= Nano-Ampere (* 1.0E-9 Ampere))
(= Pico-Ampere (* 1.0E-12 Ampere))