ImmediateFutureFn Comparison Table

Next TemporalRelation: ImmediatePastFn Up: TemporalRelation, UnaryFunction Previous TemporalRelation: HourIntervalFn

ImmediateFutureFn comparison table

Subject have domain1 be first domain of have range be second domain of documentation have axiom is a kind of is an instance of

TemporalRelation valence subrelation The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
Relation

UnaryFunction rangeSubclass inverse The Class of Functions that require a single argument
(=>
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
Function

ImmediateFutureFn TimePosition rangeSubclass TimeInterval inverse A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition
(starts (ImmediateFutureFn (WhenFn ?THING)) (FutureFn (WhenFn ?THING)))
UnaryFunction

Subject	have domain1	be first domain of	have range	be second domain of	documentation	have axiom	is a kind of	is an instance of
TemporalRelation		valence		subrelation	The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension	(forall (?INT) (domain exhaustiveDecomposition ?INT Class))	Relation
UnaryFunction		rangeSubclass		inverse	The Class of Functions that require a single argument	(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))	Function
ImmediateFutureFn	TimePosition	rangeSubclass	TimeInterval	inverse	A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition	(starts (ImmediateFutureFn (WhenFn ?THING)) (FutureFn (WhenFn ?THING)))		UnaryFunction

Next TemporalRelation: ImmediatePastFn Up: TemporalRelation, UnaryFunction Previous TemporalRelation: HourIntervalFn