temporal part (temporalPart)

Agar attr1 is an immediate successor attribute of attr2 aur entity has an attribute attr2 during time1, to yah kuch time2 nahin, ki time2 is a part of "before time1" aur entity has an attribute attr1 during time2.

(=>
      (and
            (successorAttribute ?ATTR1 ?ATTR2)
            (holdsDuring
                  ?TIME1
                  (property ?ENTITY ?ATTR2)))
      (exists
            (?TIME2)
            (and
                  (temporalPart
                        ?TIME2
                        (PastFn ?TIME1))
                  (holdsDuring
                        ?TIME2
                        (property ?ENTITY ?ATTR1)))))

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 point is an instance of samaya biMdu, to yah kuch samaya aMtaraala interval nahin, ki point is a part of interval.

(=>
      (instance ?POINT TimePoint)
      (exists
            (?INTERVAL)
            (and
                  (instance ?INTERVAL TimeInterval)
                  (temporalPart ?POINT ?INTERVAL))))

Agar interval is an instance of samaya aMtaraala, to yah kuch samaya biMdu point nahin, ki point is a part of interval.

(=>
      (instance ?INTERVAL TimeInterval)
      (exists
            (?POINT)
            (and
                  (instance ?POINT TimePoint)
                  (temporalPart ?POINT ?INTERVAL))))

Agar situation holds during time1 aur time2 is a part of time1, to situation holds during time2.

(=>
      (and
            (holdsDuring ?TIME1 ?SITUATION)
            (temporalPart ?TIME2 ?TIME1))
      (holdsDuring ?TIME2 ?SITUATION))

pos is a part of "the time of existence of thing" agar hai thing exists during pos.

(<=>
      (temporalPart
            ?POS
            (WhenFn ?THING))
      (time ?THING ?POS))

agar "the beginning of interval" is equal to point,
to sab-kuch otherpoint ke lie hai, ki: agar otherpoint is a part of interval aur otherpoint is not equal to point, to point happen?{s} before otherpoint

(=>
      (equal
            (BeginFn ?INTERVAL)
            ?POINT)
      (forall
            (?OTHERPOINT)
            (=>
                  (and
                        (temporalPart ?OTHERPOINT ?INTERVAL)
                        (not
                              (equal ?OTHERPOINT ?POINT)))
                  (before ?POINT ?OTHERPOINT))))

agar "the end of interval" is equal to point,
to sab-kuch otherpoint ke lie hai, ki: agar otherpoint is a part of interval aur otherpoint is not equal to point, to otherpoint happen?{s} before point

(=>
      (equal
            (EndFn ?INTERVAL)
            ?POINT)
      (forall
            (?OTHERPOINT)
            (=>
                  (and
                        (temporalPart ?OTHERPOINT ?INTERVAL)
                        (not
                              (equal ?OTHERPOINT ?POINT)))
                  (before ?OTHERPOINT ?POINT))))

interval2 overlaps interval1 agar hai yah kuch samaya aMtaraala interval3 nahin, ki interval3 is a part of interval1 aur interval3 is a part of interval2.

(<=>
      (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
      (exists
            (?INTERVAL3)
            (and
                  (instance ?INTERVAL3 TimeInterval)
                  (temporalPart ?INTERVAL3 ?INTERVAL1)
                  (temporalPart ?INTERVAL3 ?INTERVAL2))))

Agar "interval between point1 and point2" is equal to interval, to sab-kuch point ke lie hai, ki: point is between or at point1 and point2 agar hai point is a part of interval.

(=>
      (equal
            (TimeIntervalFn ?POINT1 ?POINT2)
            ?INTERVAL)
      (forall
            (?POINT)
            (<=>
                  (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
                  (temporalPart ?POINT ?INTERVAL))))

Agar day1 is an instance of somavaara aur day2 is an instance of mangalavaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.

(=>
      (and
            (instance ?DAY1 Monday)
            (instance ?DAY2 Tuesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

Agar day1 is an instance of mangalavaara aur day2 is an instance of budhavaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.

(=>
      (and
            (instance ?DAY1 Tuesday)
            (instance ?DAY2 Wednesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

Agar day1 is an instance of budhavaara aur day2 is an instance of bQhaspativaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.

(=>
      (and
            (instance ?DAY1 Wednesday)
            (instance ?DAY2 Thursday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

Agar day1 is an instance of bQhaspativaara aur day2 is an instance of shukravaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.

(=>
      (and
            (instance ?DAY1 Thursday)
            (instance ?DAY2 Friday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

Agar day1 is an instance of shukravaara aur day2 is an instance of shanivaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.

(=>
      (and
            (instance ?DAY1 Friday)
            (instance ?DAY2 Saturday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

Agar day1 is an instance of shanivaara aur day2 is an instance of ravivaara aur week is an instance of saptaaha aur day1 is a part of week aur day2 is a part of week, to day1 meets day2.

(=>
      (and
            (instance ?DAY1 Saturday)
            (instance ?DAY2 Sunday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

Agar day1 is an instance of ravivaara aur day2 is an instance of somavaara aur week1 is an instance of saptaaha aur week2 is an instance of saptaaha aur day1 is a part of week1 aur day2 is a part of week2 aur week1 meets week2, to day1 meets day2.

(=>
      (and
            (instance ?DAY1 Sunday)
            (instance ?DAY2 Monday)
            (instance ?WEEK1 Week)
            (instance ?WEEK2 Week)
            (temporalPart ?DAY1 ?WEEK1)
            (temporalPart ?DAY2 ?WEEK2)
            (meetsTemporally ?WEEK1 ?WEEK2))
      (meetsTemporally ?DAY1 ?DAY2))

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 keep is an instance of anurakshana aur obj is a patient of keep,
to yah kuch place nahin, ki sab-kuch time ke lie hai, ki: agar time is a part of "the time of existence of keep", to obj is located at place during time

(=>
      (and
            (instance ?KEEP Keeping)
            (patient ?KEEP ?OBJ))
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (temporalPart
                              ?TIME
                              (WhenFn ?KEEP))
                        (holdsDuring
                              ?TIME
                              (located ?OBJ ?PLACE))))))

Agar decode is an instance of kuta vyaakhyaayana aur doc1 is a patient of decode, to yah kuch encode,doc2,time nahin, ki doc2 contains information prop aur doc1 contains information prop aur time is a part of "before "the time of existence of decode"" aur encode is an instance of kuta lekhana aur doc2 is a patient of encode during time.

(=>
      (and
            (instance ?DECODE Decoding)
            (patient ?DECODE ?DOC1))
      (exists
            (?ENCODE ?DOC2 ?TIME)
            (and
                  (containsInformation ?DOC2 ?PROP)
                  (containsInformation ?DOC1 ?PROP)
                  (temporalPart
                        ?TIME
                        (PastFn
                              (WhenFn ?DECODE)))
                  (holdsDuring
                        ?TIME
                        (and
                              (instance ?ENCODE Encoding)
                              (patient ?ENCODE ?DOC2))))))