duration (duration)

(duration pos time) means that the duration of the TimePosition pos is time. Note that this Predicate can be used in conjunction with the Function WhenFn to specify the duration of any instance of Physical.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

varga

inheritable relation

dvi-lakshana
is instance of

asaamanjasyapUrNa sambandha
is instance of

pUrNa mUlyaadeya sambandha
is instance of

duration

Coordinate term(s)

back fn cardinality fn front fn principal host fn probability fn skin fn arc weight attribute authors before or equal causes causes subclass citizen closed on completely fills connected contains information cooccur copy crosses date decreases likelihood developmental form disjoint distributes documentation earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation fills finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to manner material measure meets temporally member modal attribute overlaps temporally parent partial ordering on partially fills partly located path length penetrates possesses precondition prevents proper part properly fills property publishes range range subclass realization refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure surface temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

duration(samaya aMtaraala, samayaavadhi)

Related WordNet synsets

duration, length: continuance in time; "the ceremony was of short duration"; "he complained about the length of time required"
duration, continuance: the property of enduring or continuing in time
span: the complete duration of something; "the job was finished in the span of an hour"

See more related synsets on a separate page.

Axioms (22)

agar proc occurs every time1,
to sab-kuch time2 ke lie hai, ki: agar duration of time2 is time1, to yah kuch position nahin, ki position is a part of time2 aur yah kuch inst nahin, ki inst is an instance of proc during position

(=>
      (frequency ?PROC ?TIME1)
      (forall
            (?TIME2)
            (=>
                  (duration ?TIME2 ?TIME1)
                  (exists
                        (?POSITION)
                        (and
                              (temporalPart ?POSITION ?TIME2)
                              (holdsDuring
                                    ?POSITION
                                    (exists
                                          (?INST)
                                          (instance ?INST ?PROC))))))))

Agar year is an instance of varsha, to duration of year is " year duration(s)".

(=>
      (instance ?YEAR Year)
      (duration
            ?YEAR
            (MeasureFn 1 YearDuration)))

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)))

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

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

Agar week is an instance of saptaaha, to duration of week is " week duration(s)".

(=>
      (instance ?WEEK Week)
      (duration
            ?WEEK
            (MeasureFn 1 WeekDuration)))

Agar hour is an instance of ghantaa, to duration of hour is " hour duration(s)".

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

Agar minute is an instance of minata, to duration of minute is " minute duration(s)".

(=>
      (instance ?MINUTE Minute)
      (duration
            ?MINUTE
            (MeasureFn 1 MinuteDuration)))

Agar second is an instance of sekanda, to duration of second is " second duration(s)".

(=>
      (instance ?SECOND Second)
      (duration
            ?SECOND
            (MeasureFn 1 SecondDuration)))

agar "decomposition of interval into ? interval-types" is equal to class,
to sab-kuch time1,time2 ke lie hai, ki: agar time1 is an instance of interval-type aur time2 is an instance of class, to yah kuch duration nahin, ki duration of time1 is duration aur duration of time2 is duration

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1 ?TIME2)
            (=>
                  (and
                        (instance ?TIME1 ?INTERVAL-TYPE)
                        (instance ?TIME2 ?CLASS))
                  (exists
                        (?DURATION)
                        (and
                              (duration ?TIME1 ?DURATION)
                              (duration ?TIME2 ?DURATION))))))

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))