Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

mile (Mile)

English length unit of miles.

Ontologie

SUMO / UNITS-OF-MEASURE

Class(es)

měrná jednotka
is instance of
  mile  

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  fyzikální veličina  
is subclass of
  konstantní veličina  
is subclass of
  délková jednotka  
is subclass of
  mile  

Související termín(y)

amu  angstrom  angular degree  atom gram  bit  british thermal unit  byte  calorie  centimeter  cup  day duration  electron volt  euro cent  euro dollar  fahrenheit degree  foot  hour duration  inch  kilo byte  liter  mega byte  meter  minute duration  ounce  pint  pound force  pound mass  quart  rankine degree  slug  united kingdom gallon  united states cent  united states dollar  united states gallon  week duration  year duration 

Related WordNet synsets

mileage, milage
distance measured in miles
mileage is kind of (all)...   mileage is kind of...  
mile, statute mile, stat mi, land mile, mi
a unit of length equal to 1760 yards
mile is kind of (all)...   mile is kind of...   mile is part of...   parts of mile...  

Axiomy (1)

Jestliže number je instancí třídy reálné číslo, potom "number mile(s)" se rovná ""number*" meter(s)".
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Mile)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1609.344)
                  Meter)))