future fn (FutureFn)

A UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

varga

inheritable relation

saamayika sambandha
is instance of

varga

inheritable relation

ekaadhaary prakaarya
is instance of

future fn

Coordinate term(s)

absolute value fn abstraction fn arc cosine fn arc sine fn arc tangent fn back fn begin fn begin node fn cardinality fn ceiling fn complement fn cosine fn cut set fn day fn denominator fn end fn end node fn extension fn floor fn front fn generalized intersection fn generalized union fn giga fn hour fn imaginary part fn immediate future fn immediate past fn initial node fn integer square root fn kilo fn list length fn magnitude fn mega fn micro fn milli fn minimal cut set fn minute fn month fn nano fn numerator fn organization fn past fn path weight fn pico fn power set fn predecessor fn principal host fn probability fn property fn rational number fn real number fn reciprocal fn recurrent time interval fn relative time fn round fn second fn signum fn sine fn skin fn square root fn successor fn tangent fn temporal composition fn tera fn terminal node fn time interval fn wealth fn when fn year fn before before or equal cooccur earlier finishes meets temporally overlaps temporally temporally between temporally between or equal time

Type restrictions

samaya aMtaraala FutureFn(samaya sthiti)

Related WordNet synsets

futurity: the quality of being in or of the future
future, hereafter, futurity, time to come: the time yet to come
future: yet to be or coming; "some future historian will evaluate him"

See more related synsets on a separate page.

Axioms (5)

Agar thing is an instance of bhOtika vaswu, to "the time of existence of thing" meets "after "the time of existence of thing"".

(=>
      (instance ?THING Physical)
      (meetsTemporally
            (WhenFn ?THING)
            (FutureFn
                  (WhenFn ?THING))))

Agar process is an instance of bhOtika vaswu, to "after "the time of existence of process"" is equal to "interval between "the end of "the time of existence of process"" and positive infinity".

(=>
      (instance ?PROCESS Physical)
      (equal
            (FutureFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  (EndFn
                        (WhenFn ?PROCESS))
                  PositiveInfinity)))

Agar thing is an instance of bhOtika vaswu, to "immediately after "the time of existence of thing"" starts "after "the time of existence of thing"".

(=>
      (instance ?THING Physical)
      (starts
            (ImmediateFutureFn
                  (WhenFn ?THING))
            (FutureFn
                  (WhenFn ?THING))))

Agar death is an instance of mrityu aur agent experiences death, to dead is an attribute of agent after "the time of existence of death".

(=>
      (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?AGENT))
      (holdsDuring
            (FutureFn
                  (WhenFn ?DEATH))
            (attribute ?AGENT Dead)))

Agar kill is an instance of hatyaa aur patient is a patient of kill, to living is an attribute of patient immediately before "the time of existence of kill" aur dead is an attribute of patient after "the time of existence of kill".

(=>
      (and
            (instance ?KILL Killing)
            (patient ?KILL ?PATIENT))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Living))
            (holdsDuring
                  (FutureFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Dead))))