SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimeInterval

TimeInterval
subject			fact

TimeInterval	documentation An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline
	has axiom (=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimeInterval) (instance ?TIME2 TimeInterval)) (exists (?INTERVAL) (and (starts ?TIME1 ?INTERVAL) (finishes ?TIME2 ?INTERVAL) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))
	has axiom (=> (and (holdsDuring ?TIME1 ?SITUATION) (instance ?TIME1 TimeInterval) (temporalPart ?TIME2 ?TIME1)) (holdsDuring ?TIME2 ?SITUATION))
	has axiom (=> (instance ?INTERVAL TimeInterval) (exists (?DURATION) (duration ?INTERVAL ?DURATION)))
	has axiom (=> (instance ?POINT TimePoint) (exists (?INTERVAL) (and (instance ?INTERVAL TimeInterval) (temporalPart ?POINT ?INTERVAL))))
	is first domain of BeginFn
	is first domain of during
	is first domain of earlier
	is first domain of EndFn
	is first domain of finishes
	is first domain of meetsTemporally
	is first domain of overlapsTemporally
	is first domain of starts
	is second domain of during
	is second domain of earlier
	is second domain of finishes
	is second domain of meetsTemporally
	is second domain of overlapsTemporally
	is second domain of starts
	is second domain of temporalPart
	is a kind of TimePosition
TimePosition	is partitioned into TimeInterval, TimePoint
Abstract	is disjoint from Physical

Kinds of TimeInterval :

• Day (8 facts) - The Class of all calendar Days
• Hour (7 facts) - The Class of all clock Hours
• Minute (7 facts) - The Class of all clock Minutes
• Month (7 facts) - The Class of all calendar Months
• Second (7 facts) - The Class of all clock Seconds
• Year (6 facts) - The Class of all calendar Years

Next TimePosition: TimePoint    Up: TimePosition