 SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > EndFn
Next TemporalRelationexistant    UpTemporalRelation, UnaryFunction    Previous TemporalRelationearlier  EndFn subject fact
 EndFn documentation A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends has axiom `(<=> (meetsTemporally ?INTERVAL1 ?INTERVAL2) (equal (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))` has axiom `(<=> (starts ?INTERVAL1 ?INTERVAL2) (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))))` has axiom `(<=> (existant ?PHYS ?TIME) (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS))))` has axiom `(<=> (finishes ?INTERVAL1 ?INTERVAL2) (and (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)) (equal (EndFn ?INTERVAL2) (EndFn ?INTERVAL1))))` has axiom `(=> (during ?INTERVAL1 ?INTERVAL2) (and (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2)) (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1))))` has axiom `(=> (earlier ?INTERVAL1 ?INTERVAL2) (before (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))` has axiom `(=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint)) (exists (?INTERVAL) (and (equal (BeginFn ?INTERVAL) ?TIME1) (equal (EndFn ?INTERVAL) ?TIME2) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))` has axiom `(=> (equal (EndFn ?INTERVAL) ?POINT) (forall (?OTHERPOINT) (=> (and (temporalPart ?OTHERPOINT ?INTERVAL) (not (equal ?OTHERPOINT ?POINT))) (before ?OTHERPOINT ?POINT))))` has axiom `(=> (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (equal (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) (equal ?INTERVAL1 ?INTERVAL2))` has axiom `(before (BeginFn (WhenFn ?THING)) (EndFn (WhenFn ?THING)))` has axiom `(equal (EndFn (FutureFn ?TIME)) PositiveInfinity)` has domain1 TimeInterval has range TimePoint 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 is third domain of domainSubclass Abstract is disjoint from Physical  Next TemporalRelationexistant    UpTemporalRelation, UnaryFunction    Previous TemporalRelationearlier