(=> (deathTime ?ORGANISM ?TIME) (holdsDuring (FutureFn ?TIME) (attribute ?ORGANISM Dead)))
(equal (EndFn (FutureFn ?TIME)) PositiveInfinity)
(meetsTemporally (WhenFn ?THING) (FutureFn (WhenFn ?THING)))
(starts (ImmediateFutureFn (WhenFn ?THING)) (FutureFn (WhenFn ?THING)))
Next TemporalRelation: HourFn Up: TemporalRelation, UnaryFunction Previous TemporalRelation: finishes