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