temporal composition fn (TemporalCompositionFn)

The basic Function for expressing the composition of larger TimeIntervals out of smaller TimeIntervals. For example, if ThisSeptember is an instance of September, (TemporalCompositionFn ThisSeptember Day) denotes the Class of consecutive days that make up ThisSeptember. Note that one can obtain the number of instances of this Class by using the function CardinalityFn.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

varga

inheritable relation

saamayika sambandha
is instance of

varga

inheritable relation

dvi-aadhaary prakaarya
is instance of

temporal composition fn

Coordinate term(s)

addition fn begin fn day fn density fn division fn edition fn end fn exponentiation fn future fn graph path fn hour fn immediate future fn immediate past fn intersection fn interval fn kappa fn list concatenate fn list order fn log fn max fn maximal weighted path fn measure fn mereological difference fn mereological product fn mereological sum fn min fn minimal weighted path fn minute fn month fn multiplication fn past fn periodical issue fn recurrent time interval fn relative complement fn relative time fn remainder fn second fn series volume fn speed fn subtraction fn time interval fn union fn when fn where fn year fn before before or equal cooccur earlier finishes meets temporally overlaps temporally temporally between temporally between or equal time

Type restrictions

subclass samaya aMtaraala TemporalCompositionFn(samaya aMtaraala, subclass samaya aMtaraala)

Axioms (13)

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 "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 class aur time2 is an instance of class aur time1 is not equal to time2, to time1 meets time2 yaa time2 meets time1 yaa time1 happens earlier than time2 yaa time2 happens earlier than time1

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1 ?TIME2)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (instance ?TIME2 ?CLASS)
                        (not
                              (equal ?TIME1 ?TIME2)))
                  (or
                        (meetsTemporally ?TIME1 ?TIME2)
                        (meetsTemporally ?TIME2 ?TIME1)
                        (earlier ?TIME1 ?TIME2)
                        (earlier ?TIME2 ?TIME1)))))

Agar "decomposition of interval into ? interval-types" is equal to class, to yah kuch class time nahin, ki time starts interval.

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (exists
            (?TIME)
            (and
                  (instance ?TIME ?CLASS)
                  (starts ?TIME ?INTERVAL))))

Agar "decomposition of interval into ? interval-types" is equal to class, to yah kuch class time nahin, ki time finishes interval.

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (exists
            (?TIME)
            (and
                  (instance ?TIME ?CLASS)
                  (finishes ?TIME ?INTERVAL))))

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

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (not
                              (finishes ?TIME1 ?INTERVAL)))
                  (exists
                        (?TIME2)
                        (and
                              (instance ?TIME2 ?CLASS)
                              (meetsTemporally ?TIME1 ?TIME2))))))

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

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (not
                              (starts ?TIME1 ?INTERVAL)))
                  (exists
                        (?TIME2)
                        (and
                              (instance ?TIME2 ?CLASS)
                              (meetsTemporally ?TIME2 ?TIME1))))))

agar "decomposition of interval into ? interval-types" is equal to class,
to sab-kuch time ke lie hai, ki: agar time is an instance of samaya biMdu aur time is a part of interval, to yah kuch class instance nahin, ki time is a part of instance

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME)
            (=>
                  (and
                        (instance ?TIME TimePoint)
                        (temporalPart ?TIME ?INTERVAL))
                  (exists
                        (?INSTANCE)
                        (and
                              (instance ?INSTANCE ?CLASS)
                              (temporalPart ?TIME ?INSTANCE))))))

Agar year is an instance of varsha, to "the number of instances in "decomposition of year into ? mahInaas"" is equal to .

(=>
      (instance ?YEAR Year)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?YEAR Month))
            12))

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

Agar week is an instance of saptaaha, to "the number of instances in "decomposition of week into ? divasas"" is equal to .

(=>
      (instance ?WEEK Week)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?WEEK Day))
            7))

Agar day is an instance of divasa, to "the number of instances in "decomposition of day into ? ghantaas"" is equal to .

(=>
      (instance ?DAY Day)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?DAY Hour))
            24))

Agar hour is an instance of ghantaa, to "the number of instances in "decomposition of hour into ? minatas"" is equal to .

(=>
      (instance ?HOUR Hour)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?HOUR Minute))
            60))

Agar minute is an instance of minata, to "the number of instances in "decomposition of minute into ? sekandas"" is equal to .

(=>
      (instance ?MINUTE Minute)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MINUTE Second))
            60))