Function
IDENTITY
The value of the identity function is just its argument.
Arity
:
2
Axioms:
(=> (
Identity
?X ?Result) (
=
?Result ?X))
Defined in theory:
Kif-extensions
Source code:
kif-extensions.lisp
Also defined in:
Equality