time (time)

This relation holds between an instance of Physical and an instance of TimePosition just in case the temporal lifespan of the former includes the latter. The constants located and time are the basic spatial and temporal predicates, respectively.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

varga

inheritable relation

dvi-lakshana
is instance of

varga

inheritable relation

saamayika sambandha
is instance of

asaamanjasyapUrNa sambandha
is instance of

time

Subrelation(s)

date

Coordinate term(s)

back fn begin fn cardinality fn day fn end fn front fn future fn hour fn immediate future fn immediate past fn minute fn month fn past fn principal host fn probability fn recurrent time interval fn relative time fn second fn skin fn temporal composition fn time interval fn when fn year fn arc weight attribute authors before 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 duration 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 temporally between temporally between or equal total ordering on trichotomizing on uses valence version

Type restrictions

time(bhOtika vaswu, samaya sthiti)

Related WordNet synsets

timing: the time when something happens

See more related synsets on a separate page.

Axioms (11)

phys is an instance of bhOtika vaswu agar hai yah kuch loc,time nahin, ki phys is located at loc aur phys exists during time.

(<=>
      (instance ?PHYS Physical)
      (exists
            (?LOC ?TIME)
            (and
                  (located ?PHYS ?LOC)
                  (time ?PHYS ?TIME))))

abs is an instance of amUrta agar hai yah kuch point nahin, ki abs is located at point yaa abs exists during point.

(<=>
      (instance ?ABS Abstract)
      (not
            (exists
                  (?POINT)
                  (or
                        (located ?ABS ?POINT)
                        (time ?ABS ?POINT)))))

located is internally related to time.

(relatedInternalConcept located time)

Agar rel(inst1,inst2) holds during interval aur inst1 is an instance of bhOtika vaswu aur inst2 is an instance of bhOtika vaswu, to inst1 exists during interval aur inst2 exists during interval.

(=>
      (and
            (holdsDuring
                  ?INTERVAL
                  (holds ?REL ?INST1 ?INST2))
            (instance ?INST1 Physical)
            (instance ?INST2 Physical))
      (and
            (time ?INST1 ?INTERVAL)
            (time ?INST2 ?INTERVAL)))

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 obj is an instance of object,
to yah kuch samaya biMdu time1,samaya biMdu time2 nahin, ki time1 happen?{s} before time2 aur sab-kuch time ke lie hai, ki: agar time1 happen?{s} before or at time aur time happen?{s} before or at time2, to obj exists during time

(=>
      (instance ?OBJ Object)
      (exists
            (?TIME1 ?TIME2)
            (and
                  (instance ?TIME1 TimePoint)
                  (instance ?TIME2 TimePoint)
                  (before ?TIME1 ?TIME2)
                  (forall
                        (?TIME)
                        (=>
                              (and
                                    (beforeOrEqual ?TIME1 ?TIME)
                                    (beforeOrEqual ?TIME ?TIME2))
                              (time ?OBJ ?TIME))))))

agar obj is a result of proc,
to sab-kuch time ke lie hai, ki: agar time happen?{s} before "the beginning of "the time of existence of proc"", to obj doesn't exist during time

(=>
      (result ?PROC ?OBJ)
      (forall
            (?TIME)
            (=>
                  (before
                        ?TIME
                        (BeginFn
                              (WhenFn ?PROC)))
                  (not
                        (time ?OBJ ?TIME)))))

phys exists during time aur time is an instance of samaya biMdu agar hai time is between or at "the beginning of "the time of existence of phys"" and "the end of "the time of existence of phys"".

(<=>
      (and
            (time ?PHYS ?TIME)
            (instance ?TIME TimePoint))
      (temporallyBetweenOrEqual
            (BeginFn
                  (WhenFn ?PHYS))
            ?TIME
            (EndFn
                  (WhenFn ?PHYS))))

Agar proc is an instance of prakriyaa aur subproc is a subprocess of proc, to yah kuch time nahin, ki subproc exists during time.

(=>
      (and
            (instance ?PROC Process)
            (subProcess ?SUBPROC ?PROC))
      (exists
            (?TIME)
            (time ?SUBPROC ?TIME)))

process is an instance of vinaasha agar hai yah kuch patient nahin, ki patient is a patient of process aur patient exists during "immediately before "the time of existence of process"" aur patient doesn't exist during "immediately after "the time of existence of process"".

(<=>
      (instance ?PROCESS Destruction)
      (exists
            (?PATIENT)
            (and
                  (patient ?PROCESS ?PATIENT)
                  (time
                        ?PATIENT
                        (ImmediatePastFn
                              (WhenFn ?PROCESS)))
                  (not
                        (time
                              ?PATIENT
                              (ImmediateFutureFn
                                    (WhenFn ?PROCESS)))))))

process is an instance of srijana agar hai yah kuch patient nahin, ki patient is a patient of process aur patient exists during "immediately after "the time of existence of process"" aur patient doesn't exist during "immediately before "the time of existence of process"".

(<=>
      (instance ?PROCESS Creation)
      (exists
            (?PATIENT)
            (and
                  (patient ?PROCESS ?PATIENT)
                  (time
                        ?PATIENT
                        (ImmediateFutureFn
                              (WhenFn ?PROCESS)))
                  (not
                        (time
                              ?PATIENT
                              (ImmediatePastFn
                                    (WhenFn ?PROCESS)))))))