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-MEASUREClass(es)
Superclass(es)
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)
Axioms (5)
Agar number is an instance of vaastavika anka, to "number centimeter(s)" is equal to ""number*" meter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Centimeter)
(MeasureFn
(MultiplicationFn ?NUMBER 0.01)
Meter)))
Agar number is an instance of vaastavika anka, to "number angstrom(s)" is equal to ""number**" meter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Angstrom)
(MeasureFn
(MultiplicationFn ?NUMBER 1.0 E-10)
Meter)))
Agar number is an instance of vaastavika anka, to "number foot(s)" is equal to ""number*" meter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Foot)
(MeasureFn
(MultiplicationFn ?NUMBER 0.3048)
Meter)))
Agar number is an instance of vaastavika anka, to "number inch(s)" is equal to ""number*" meter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Inch)
(MeasureFn
(MultiplicationFn ?NUMBER 0.0254)
Meter)))
Agar number is an instance of vaastavika anka, to "number mile(s)" is equal to ""number*" meter(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER Mile)
(MeasureFn
(MultiplicationFn ?NUMBER 1609.344)
Meter)))