*Meter* | *documentation* SI LengthMeasure. Symbol: m. It is one of the base units in SI, *and* it is currently defined as follows: the *Meter* is the length of the *path* traveled by light in a vacuum *during* a *time* interval of 1/299792458 of a *SecondDuration* | |

**has axiom** (*equal* (*MeasureFn* ?NUMBER *Angstrom*) (*MeasureFn* (*MultiplicationFn* ?NUMBER 1.0E-10) *Meter*))
| |

**has axiom** (*equal* (*MeasureFn* ?NUMBER *Centimeter*) (*MeasureFn* (*MultiplicationFn* ?NUMBER 0.01) *Meter*))
| |

**has axiom** (*equal* (*MeasureFn* ?NUMBER *Foot*) (*MeasureFn* (*MultiplicationFn* ?NUMBER 0.3048) *Meter*))
| |

**has axiom** (*equal* (*MeasureFn* ?NUMBER *Inch*) (*MeasureFn* (*MultiplicationFn* ?NUMBER 0.0254) *Meter*))
| |

**has axiom** (*equal* (*MeasureFn* ?NUMBER *Mile*) (*MeasureFn* (*MultiplicationFn* ?NUMBER 1609.344) *Meter*))
| |

**has axiom** (*equal* (*MeasureFn* ?NUMBER *Kilometer*) (*MeasureFn* (*MultiplicationFn* ?NUMBER 1000) *Meter*))
| |

**is an ***instance* of LengthMeasure | |

**is an ***instance* of SystemeInternationalUnit | |

LengthMeasure | **is second ***domain* of length | |

**is third ***domain* of *distance* | |

ConstantQuantity | **is first ***domain* of *MagnitudeFn* | |

PhysicalQuantity | **is partitioned into** ConstantQuantity, FunctionQuantity | |

Abstract | **is ***disjoint* from Physical | |