*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 | |