SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Function > FunctionQuantity > ElectricCurrentMeasure > Ampere

Ampere
subject			fact

Ampere	documentation SI ElectricCurrentMeasure. Symbol: A. It is one of the base units in SI. It is defined as follows: the Ampere is that constant current which, if maintained in two straight parallel conductors of infinite length, of negligible circular cross-section, and placed 1 Meter apart in a vacuum, would produce between these conductors a force equal to 2*10^(-7) Newton per Meter of length
	has axiom (equal (MeasureFn ?NUMBER MilliAmpere) (MeasureFn (MultiplicationFn ?NUMBER .001) Ampere))
	has axiom (equal (MeasureFn ?NUMBER NanoAmpere) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-9) Ampere))
	has axiom (equal (MeasureFn ?NUMBER PicoAmpere) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) Ampere))
	is an instance of ElectricCurrentMeasure
	is an instance of SystemeInternationalUnit
UnitOfMeasure	is second domain of MeasureFn
Function	is first domain of AssignmentFn
	is first domain of closedOn
	is first domain of range
	is first domain of rangeSubclass
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical