Function
1+
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp
Slots on this function:
Documentation
:
The term {tt (
1+
$tau$)} denotes the sum of the object denoted by $tau$ and 1.
Instance-Of
:
Function
Arity
:
2
Other Related Axioms:
(<- (
1+
?X) (
+
?X 1))