SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > TemporalRelation

TemporalRelation
subject			fact

TemporalRelation	documentation The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension
	is a kind of Relation
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
Class	has axiom (<=> (instance ?CLASS Class) (subclass ?CLASS Entity))
	has axiom (forall (?INT) (domain disjointDecomposition ?INT Class))
	has axiom (forall (?INT) (domain exhaustiveDecomposition ?INT Class))
	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Kinds of TemporalRelation :

• before (6 facts) - (before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline
• BeginFn (19 facts) - A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins
• cooccur (7 facts) - (cooccur ?THING1 ?THING2) means that the Object or Process ?THING1 occurs at the same time as, together with, or jointly with the Object or Process ?THING2. This covers the following temporal relations: is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with
• DayFn (7 facts) - A BinaryFunction that maps a number and a Month to the corresponding Day of the Month. For example, (DayFn 18 (MonthFn 8 (YearFn 1912))) denotes the 18th day of August 1912
• during (9 facts) - (during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2
• earlier (8 facts) - (earlier INTERVAL1 INTERVAL2) means that INTERVAL1 ends before INTERVAL2 begins
• EndFn (16 facts) - A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends
• existant (16 facts) - This relation holds between an instance of Physical and an instance of TimePosition just in case the temporal lifespan of the former includes the latter. The constants located and existant are the basic spatial and temporal predicates, respectively
• finishes (7 facts) - (finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same ending TimePoint and that ?INTERVAL2 begins before ?INTERVAL1
• FutureFn (9 facts) - A UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity
• HourFn (7 facts) - A BinaryFunction that maps a number and a Day to the corresponding Hour of the Day. For example, (HourFn 14 (DayFn 18 (MonthFn 8 (YearFn 1912)))) denotes the 14th hour, i.e. 2 PM, on the 18th day of August 1912
• HourIntervalFn (7 facts) - A BinaryFunction that maps two numbers to the Class of TimeIntervals that begin at the hour corresponding to the first number and that end at the hour corresponding to the second number. For example, (HourIntervalFn 6 12) returns the set of TimeIntervals that begin at 6 AM every day and that end at 12 noon every day. If necessary, we will define other interval functions for seconds, minutes, days, and/or months
• ImmediateFutureFn (24 facts) - A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition
• ImmediatePastFn (19 facts) - A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately precedes the TimePosition
• meetsTemporally (7 facts) - (meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2
• MinuteFn (7 facts) - A BinaryFunction that maps a number and an Hour to the corresponding Minute of the Hour. For example, (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn 8 (YearFn 1912))))) denotes 15 minutes after 2 PM on the 18th day of August 1912
• MonthFn (7 facts) - A BinaryFunction that maps a number and a Year to the corresponding Month of the Year. For example (MonthFn 8 (YearFn 1912)) denotes the eighth Month, i.e. August, of the Year 1912
• overlapsTemporally (9 facts) - (overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the two TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a TimeInterval in common. Note that this is consistent with ?INTERVAL1 and ?INTERVAL2 being the same TimeInterval
• PastFn (9 facts) - A UnaryFunction that maps a TimePosition to the TimeInterval that meets it and that begins at NegativeInfinity
• SecondFn (7 facts) - A BinaryFunction that maps a number and a Minute to the corresponding Second of the Minute. For example, (SecondFn 9 (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn 8 (YearFn 1912)))))) denotes 9 seconds and 15 minutes after 2 PM on the 18th day of August 1912
• starts (7 facts) - (starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same initial TimePoint and that ?INTERVAL1 ends before ?INTERVAL2
• temporallyBetween (9 facts) - (temporallyBetween ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT2 is between the TimePoints ?POINT1 and ?POINT3, i.e. ?POINT1 is before ?POINT2 and ?POINT2 is before ?POINT3
• temporallyBetweenOrEqual (8 facts) - (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT1 is before or equal to the TimePoint ?POINT2 and ?POINT2 is before or equal to the TimePoint ?POINT3
• time (7 facts) - A very general TemporalRelation that specifies, at any level of resolution, the TimePosition at which a particular Object or Process exists or occurs
• WhenFn (42 facts) - 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
• YearFn (5 facts) - A UnaryFunction that maps a number to the corresponding calendar Year. For example, (YearFn 1912) denotes the Year 1912