hour duration (HourDuration)

Time unit. 1 hour = 60 minutes.

Ontologie

SUMO / UNITS-OF-MEASURE

Class(es)

měrná jednotka

hour duration

Nadtřída(y)

entita

abstraktum

veličina

fyzikální veličina

konstantní veličina

časová míra

trvání

hour duration

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 inch kilo byte liter mega byte mile minute duration ounce pint pound force pound mass quart rankine degree second duration slug united kingdom gallon united states cent united states dollar united states gallon week duration year duration

Related WordNet synsets

sidereal hour: 1/24 of a sidereal day
hour, hr, 60 minutes: a period of time equal to 1/24th of a day; "the job will take more than an hour"
horary: (archaic) relating to the hours; "the horary cycle"

Axiomy (4)

Jestliže number je instancí třídy reálné číslo, potom "number day duration(s)" se rovná ""number*" hour duration(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER DayDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 24)
                  HourDuration)))

Jestliže number je instancí třídy reálné číslo, potom "number hour duration(s)" se rovná ""number*" minute duration(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER HourDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 60)
                  MinuteDuration)))

hodina je internally related to hour duration.

(relatedInternalConcept Hour HourDuration)

Jestliže hour je instancí třídy hodina, potom duration of hour je " hour duration(s)".

(=>
      (instance ?HOUR Hour)
      (duration
            ?HOUR
            (MeasureFn 1 HourDuration)))