minute duration (MinuteDuration)
Time unit. 1 minute = 60 seconds.
Ontologie
SUMO / UNITS-OF-MEASUREClass(es)
Nadtřída(y)
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
mile
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
- minute, min
- a unit of time equal to 60 seconds or 1/60th of an hour; "he ran a 4 minute mile"
Axiomy (4)
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)))
Jestliže number je instancí třídy reálné číslo, potom "number minute duration(s)" se rovná ""number*" second duration(s)".
(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER MinuteDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 60)
SecondDuration)))
minuta je internally related to minute duration.
(relatedInternalConcept Minute MinuteDuration)
Jestliže minute je instancí třídy minuta, potom duration of minute je " minute duration(s)".
(=>
(instance ?MINUTE Minute)
(duration
?MINUTE
(MeasureFn 1 MinuteDuration)))