SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > EndFn
Next TemporalRelationexistant    UpTemporalRelation, UnaryFunction    Previous TemporalRelationearlier   

EndFn 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 
EndFnTimeIntervalrangeSubclassTimePointinverseA UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends
(equal (EndFn (FutureFn ?TIME)) PositiveInfinity)
 UnaryFunction

Next TemporalRelationexistant    UpTemporalRelation, UnaryFunction    Previous TemporalRelationearlier