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)

class

inheritable relation

temporal relation
is instance of

class

inheritable relation

unary function
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

time interval FutureFn(time position)

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)

If thing is an instance of physical, then "the time of existence of thing" meets "after "the time of existence of thing"".

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

If process is an instance of physical, then "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)))

If thing is an instance of physical, then "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))))

If death is an instance of death and agent experiences death, then 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)))

If kill is an instance of killing and patient is a patient of kill, then living is an attribute of patient immediately before "the time of existence of kill" and 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))))