FutureFn concept from the SUMO knowledge base

Next TemporalRelation: HourFn Up: TemporalRelation, UnaryFunction Previous TemporalRelation: finishes

Next TemporalRelation: HourFn Up: TemporalRelation, UnaryFunction Previous TemporalRelation: finishes

FutureFn	*documentation* A UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity
	has axiom (=> (deathTime ?ORGANISM ?TIME) (holdsDuring (FutureFn ?TIME) (attribute ?ORGANISM Dead)))
	has axiom (equal (EndFn (FutureFn ?TIME)) PositiveInfinity)
	has axiom (meetsTemporally (WhenFn ?THING) (FutureFn (WhenFn ?THING)))
	has axiom (starts (ImmediateFutureFn (WhenFn ?THING)) (FutureFn (WhenFn ?THING)))
	has domain1 TimePosition
	has range TimeInterval
	*is an instance* of** TemporalRelation
	*is an instance* of** UnaryFunction
Relation	*is first domain* of** domain
	*is first domain* of** domainSubclass
	*is first domain* of** holds
	*is first domain* of** subrelation
	*is first domain* of** valence
	*is second domain* of** subrelation
BinaryRelation	*is first domain* of** DomainFn
	*is first domain* of** equivalenceRelationOn
	*is first domain* of** inverse
	*is first domain* of** irreflexiveOn
	*is first domain* of** partialOrderingOn
	*is first domain* of** RangeFn
	*is first domain* of** reflexiveOn
	*is first domain* of** totalOrderingOn
	*is first domain* of** trichotomizingOn
	*is second domain* of** inverse
Function	*is first domain* of** AssignmentFn
	*is first domain* of** closedOn
	*is first domain* of** range
	*is first domain* of** rangeSubclass
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical


*FutureFn*
subject			fact