MonthFn concept from the SUMO knowledge base

Next BinaryFunction: RelativeComplementFn Up: BinaryFunction, TemporalRelation Previous BinaryFunction: MinuteFn

MonthFn	*documentation* 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
	has axiom (=> (instance (MonthFn ?NUMBER ?YEAR) Month) (lessThanOrEqualTo ?NUMBER 12))
	has domain1 PositiveInteger
	has domain2 Year
	has range Month
	*is an instance* of** BinaryFunction
	*is an instance* of** TemporalRelation
BinaryFunction	*is first domain* of** distributes
	*is first domain* of** identityElement
	*is second domain* of** distributes
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical