The KIF vocabulary concerning numbers and arithmetic.
No theories were included by Kif-Numbers.
Number Real-Number Rational-Number Integer Even-Integer Odd-Integer Natural Nonnegative-Integer Positive Negative Complex-Number Zero
< =< > >= Logbit Logtest
* + - / 1+ 1- Abs Acos Acosh Ash Asin Asinh Atan Atanh Boole Ceiling Cis Conjugate Cos Cosh Decode-Float Denominator Exp Expt Fceiling Ffloor Float Float-Digits Float-Precision Float-Radix Float-Sign Floor Fround Ftruncate Gcd Imagpart Integer-Decode-Float Integer-Length Isqrt Lcm Log Logand Logandc1 Logandc2 Logcount Logeqv Logior Lognand Lognor Lognot Logorc1 Logorc2 Logxor Max Min Mod Numerator Phase Rationalize Realpart Rem Round Scale-Float Signum Sin Sinh Sqrt Tan Tanh Truncate
The following constants were used from theories not included:
All constants that were mentioned were defined.