SUMO   View all facts   Glossary   Help

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

Month
subject			fact

Month	documentation The Class of all calendar Months
	has axiom (=> (instance (MonthFn ?NUMBER ?YEAR) Month) (lessThanOrEqualTo ?NUMBER 12))
	has axiom (=> (instance ?MONTH Month) (duration ?MONTH MonthDuration))
	has relatedInternalConcept MonthDuration
	has relatedInternalConcept MonthFn
	is second domain of DayFn
	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

Next TimeInterval: Second    Up: TimeInterval    Previous TimeInterval: Minute