SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > ImmediatePastFn
Next TemporalRelationmeetsTemporally    UpTemporalRelation, UnaryFunction    Previous TemporalRelationImmediateFutureFn   

ImmediatePastFn 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 subrelationThe 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 inverseThe Class of Functions that require a single argument
(=>
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
Function 
ImmediatePastFnTimePositionrangeSubclassTimeIntervalinverseA UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately precedes the TimePosition
(finishes (ImmediatePastFn (WhenFn ?THING)) (PastFn (WhenFn ?THING)))
 UnaryFunction

Next TemporalRelationmeetsTemporally    UpTemporalRelation, UnaryFunction    Previous TemporalRelationImmediateFutureFn