SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > WhenFn |
WhenFn | ||||
subject | fact |
WhenFn | documentation A UnaryFunction that maps an Object or Process to the exact TimeInterval during which it exists. Note that, for every TimePoint ?TIME outside of the TimeInterval (WhenFn ?THING), ?THING is not existant at ?TIME | |
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (before (BeginFn (WhenFn ?THING)) (EndFn (WhenFn ?THING))) | ||
has axiom (finishes (ImmediatePastFn (WhenFn ?THING)) (PastFn (WhenFn ?THING))) | ||
has axiom (meetsTemporally (PastFn (WhenFn ?THING)) (WhenFn ?THING)) | ||
has axiom (meetsTemporally (WhenFn ?THING) (FutureFn (WhenFn ?THING))) | ||
has axiom (starts (ImmediateFutureFn (WhenFn ?THING)) (FutureFn (WhenFn ?THING))) | ||
has domain1 Physical | ||
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 | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next TemporalRelation: YearFn Up: TemporalRelation, UnaryFunction Previous TemporalRelation: time