MilliAmpere concept from the SUMO knowledge base

Next ElectricCurrentMeasure: NanoAmpere Up: ElectricCurrentMeasure, UnitOfMeasure Previous ElectricCurrentMeasure: Ampere

Next ElectricCurrentMeasure: NanoAmpere Up: ElectricCurrentMeasure, UnitOfMeasure Previous ElectricCurrentMeasure: Ampere

MilliAmpere	*documentation* Submultiple of Ampere. Symbol: mA. A unit of electrical current equal to one thousandth of an Ampere
	has axiom (equal (MeasureFn ?NUMBER MilliAmpere) (MeasureFn (MultiplicationFn ?NUMBER .001) Ampere))
	*is an instance* of** ElectricCurrentMeasure
	*is an instance* of** UnitOfMeasure
UnitOfMeasure	*is second domain* of** MeasureFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Function	*is first domain* of** AssignmentFn
	*is first domain* of** closedOn
	*is first domain* of** range
	*is first domain* of** rangeSubclass
Quantity	*is first domain* of** AdditionFn
	*is first domain* of** DivisionFn
	*is first domain* of** ExponentiationFn
	*is first domain* of** greaterThan
	*is first domain* of** greaterThanOrEqualTo
	*is first domain* of** lessThan
	*is first domain* of** lessThanOrEqualTo
	*is first domain* of** MaxFn
	*is first domain* of** MinFn
	*is first domain* of** MultiplicationFn
	*is first domain* of** ReciprocalFn
	*is first domain* of** RemainderFn
	*is first domain* of** RoundFn
	*is first domain* of** SubtractionFn
Abstract	*is disjoint* from** Physical
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass