day duration (DayDuration)

Time unit. 1 day = 24 hours.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

unit of measure

day duration

Superclass(es)

entity

abstract

quantity

physical quantity

constant quantity

time measure

time duration

day duration

Coordinate term(s)

amu angstrom angular degree atom gram bit british thermal unit byte calorie centimeter cup electron volt euro cent euro dollar fahrenheit degree foot hour duration 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 day, day: the time for one complete rotation of the earth relative to a particular star, about 4 minutes shorter than a mean solar day
daylong, all day long: during the entire day; "light pours daylong into the parlor"

Axioms (19)

If number is an instance of real number, then "number day duration(s)" is equal to ""number*" hour duration(s)".

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

If number is an instance of real number, then "number week duration(s)" is equal to ""number*" day duration(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER WeekDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 7)
                  DayDuration)))

If number is an instance of real number, then "number year duration(s)" is equal to ""number*" day duration(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER YearDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 365)
                  DayDuration)))

If month is an instance of january, then duration of month is " day duration(s)".

(=>
      (instance ?MONTH January)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))

If "the month february" is equal to month and year is not an instance of leap year, then duration of month is " day duration(s)".

(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (not
                  (instance ?YEAR LeapYear)))
      (duration
            ?MONTH
            (MeasureFn 28 DayDuration)))

If "the month february" is equal to month and year is an instance of leap year, then duration of month is " day duration(s)".

(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (instance ?YEAR LeapYear))
      (duration
            ?MONTH
            (MeasureFn 29 DayDuration)))

If month is an instance of march, then duration of month is " day duration(s)".

(=>
      (instance ?MONTH March)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))

If month is an instance of april, then duration of month is " day duration(s)".

(=>
      (instance ?MONTH April)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))

If month is an instance of may, then duration of month is " day duration(s)".

(=>
      (instance ?MONTH May)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))

If month is an instance of june, then duration of month is " day duration(s)".

(=>
      (instance ?MONTH June)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))

If month is an instance of july, then duration of month is " day duration(s)".

(=>
      (instance ?MONTH July)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))

If month is an instance of august, then duration of month is " day duration(s)".

(=>
      (instance ?MONTH August)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))

If month is an instance of september, then duration of month is " day duration(s)".

(=>
      (instance ?MONTH September)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))

If month is an instance of october, then duration of month is " day duration(s)".

(=>
      (instance ?MONTH October)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))

If month is an instance of november, then duration of month is " day duration(s)".

(=>
      (instance ?MONTH November)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))

If month is an instance of december, then duration of month is " day duration(s)".

(=>
      (instance ?MONTH December)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))

day is internally related to day duration.

(relatedInternalConcept Day DayDuration)

If day is an instance of day, then duration of day is " day duration(s)".

(=>
      (instance ?DAY Day)
      (duration
            ?DAY
            (MeasureFn 1 DayDuration)))

If month is an instance of month and duration of month is "number day duration(s)", then "the number of instances in "decomposition of month into ? days"" is equal to number.

(=>
      (and
            (instance ?MONTH Month)
            (duration
                  ?MONTH
                  (MeasureFn ?NUMBER DayDuration)))
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MONTH Day))
            ?NUMBER))