Day concept from the SUMO knowledge base

Next TimeInterval: Hour Up: TimeInterval Previous TimeInterval: Year

Next TimeInterval: Hour Up: TimeInterval Previous TimeInterval: Year

Day	*documentation* The Class of all calendar Days
	has axiom (=> (instance (DayFn ?NUMBER ?MONTH) Day) (lessThanOrEqualTo ?NUMBER 31))
	has axiom (=> (instance ?DAY Day) (duration ?DAY DayDuration))
	has relatedInternalConcept DayDuration
	has relatedInternalConcept DayFn
	*is second domain* of** date
	*is second domain* of** HourFn
	is a kind of TimeInterval
TimeInterval	*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
TimePosition	is partitioned into TimeInterval, TimePoint
Abstract	*is disjoint* from** Physical