YearFn concept from the SUMO knowledge base

Next TemporalRelation: before Up: TemporalRelation, UnaryFunction Previous TemporalRelation: WhenFn

Next TemporalRelation: before Up: TemporalRelation, UnaryFunction Previous TemporalRelation: WhenFn

YearFn	*documentation* A UnaryFunction that maps a number to the corresponding calendar Year. For example, (YearFn 1912) denotes the Year 1912
	has domain1 Integer
	has range Year
	*is an instance* of** TemporalRelation
	*is an instance* of** UnaryFunction
UnaryFunction	has axiom (<=> (and (holds ?REL ?INST1 ?INST2) (instance ?REL UnaryFunction)) (equal (AssignmentFn ?REL ?INST1) ?INST2))
	has axiom (=> (and (closedOn ?FUNCTION ?CLASS) (instance ?FUNCTION UnaryFunction)) (forall (?INST) (=> (instance ?INST ?CLASS) (instance (AssignmentFn ?FUNCTION ?INST) ?CLASS))))
	has axiom (=> (and (instance ?FUNCTION UnaryFunction) (equal (AssignmentFn ?FUNCTION ?ARG) ?VALUE1) (equal (AssignmentFn ?FUNCTION ?ARG) ?VALUE2)) (equal ?VALUE1 ?VALUE2))
	has axiom (=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))
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
BinaryRelation	*is first domain* of** DomainFn
	*is first domain* of** equivalenceRelationOn
	*is first domain* of** inverse
	*is first domain* of** irreflexiveOn
	*is first domain* of** partialOrderingOn
	*is first domain* of** RangeFn
	*is first domain* of** reflexiveOn
	*is first domain* of** totalOrderingOn
	*is first domain* of** trichotomizingOn
	*is second domain* of** inverse
Function	*is first domain* of** AssignmentFn
	*is first domain* of** closedOn
	*is first domain* of** range
	*is first domain* of** rangeSubclass
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical


*YearFn*
subject			fact