SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > IdentityFn
Next UnaryFunctionImaginaryPartFn    UpUnaryFunction    Previous UnaryFunctionGeneralizedUnionFn   

IdentityFn comparison table
Subject have domain1 have range documentation have axiom is a kind of is an instance of
UnaryFunction  The Class of Functions that require a single argument
(=>
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
Function 
IdentityFnEntityEntityThe value of the identity function is just its argument
(equal (IdentityFn ?INST) ?INST)
 UnaryFunction

Next UnaryFunctionImaginaryPartFn    UpUnaryFunction    Previous UnaryFunctionGeneralizedUnionFn