 SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > YearFn
Next TemporalRelationbefore    UpTemporalRelation, UnaryFunction    Previous TemporalRelationWhenFn  YearFn subject fact
 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 is third domain of domainSubclass Abstract is disjoint from Physical  Next TemporalRelationbefore    UpTemporalRelation, UnaryFunction    Previous TemporalRelationWhenFn