day duration (DayDuration)

Time unit. 1 day = 24 hours.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

maapaka ikaaI

day duration

Superclass(es)

astitva

amUrta

parimaaNa

bhOtika parimaaNa

sthira parimaaNa

samaya maapa

samayaavadhi

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)

Agar number is an instance of vaastavika anka, to "number day duration(s)" is equal to ""number*" hour duration(s)".

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

Agar number is an instance of vaastavika anka, to "number week duration(s)" is equal to ""number*" day duration(s)".

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

Agar number is an instance of vaastavika anka, to "number year duration(s)" is equal to ""number*" day duration(s)".

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

Agar month is an instance of janavarI, to duration of month is " day duration(s)".

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

Agar "the month pharavarI" is equal to month aur year is not an instance of adhivarsha, to duration of month is " day duration(s)".

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

Agar "the month pharavarI" is equal to month aur year is an instance of adhivarsha, to duration of month is " day duration(s)".

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

Agar month is an instance of maarcha, to duration of month is " day duration(s)".

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

Agar month is an instance of aprEla, to duration of month is " day duration(s)".

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

Agar month is an instance of maI, to duration of month is " day duration(s)".

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

Agar month is an instance of jUna, to duration of month is " day duration(s)".

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

Agar month is an instance of julAI, to duration of month is " day duration(s)".

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

Agar month is an instance of agasta, to duration of month is " day duration(s)".

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

Agar month is an instance of sitambara, to duration of month is " day duration(s)".

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

Agar month is an instance of aktUbara, to duration of month is " day duration(s)".

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

Agar month is an instance of navambara, to duration of month is " day duration(s)".

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

Agar month is an instance of disambara, to duration of month is " day duration(s)".

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

divasa is internally related to day duration.

(relatedInternalConcept Day DayDuration)

Agar day is an instance of divasa, to duration of day is " day duration(s)".

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

Agar month is an instance of mahInaa aur duration of month is "number day duration(s)", to "the number of instances in "decomposition of month into ? divasas"" is equal to number.

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