Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

meter (Meter)

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.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

systeme international unit
is instance of
  meter  

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  quantity  
is subclass of
  physical quantity  
is subclass of
  constant quantity  
is subclass of
  length measure  
is subclass of
  meter  

Coordinate term(s)

ampere  angstrom  becquerel  candela  celsius degree  centimeter  coulomb  farad  foot  gram  gray  henry  hertz  inch  joule  kelvin degree  lumen  lux  mile  mole  newton  ohm  pascal  radian  second duration  siemens  sievert  steradian  tesla  volt  watt  weber 

Related WordNet synsets

meter, metre, m
the basic unit of length adopted under the System International d'Unites (approximately 1.094 yards)
meter is kind of (all)...   meter is kind of...   meter is part of...   parts of meter...  

Axioms (5)

If number is an instance of real number, then "number centimeter(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Centimeter)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  Meter)))
If number is an instance of real number, then "number angstrom(s)" is equal to ""number**" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Angstrom)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.0 E-10)
                  Meter)))
If number is an instance of real number, then "number foot(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Foot)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.3048)
                  Meter)))
If number is an instance of real number, then "number inch(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Inch)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.0254)
                  Meter)))
If number is an instance of real number, then "number mile(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Mile)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1609.344)
                  Meter)))