**Last modified:***Friday, 8 April 1994***Source code: kif-numbers.lisp****List of other known theories**

The KIF vocabulary concerning numbers and arithmetic.

**No theories were included by Kif-Numbers.**

Kif-ExtensionsKif-Lists

Number Real-Number Rational-Number Integer Even-Integer Odd-Integer Natural Nonnegative-Integer Positive Negative Complex-Number Zero

<=<>>=LogbitLogtest

*+-/1+1-AbsAcosAcoshAshAsinAsinhAtanAtanhBooleCeilingCisConjugateCosCoshDecode-FloatDenominatorExpExptFceilingFfloorFloatFloat-DigitsFloat-PrecisionFloat-RadixFloat-SignFloorFroundFtruncateGcdImagpartInteger-Decode-FloatInteger-LengthIsqrtLcmLogLogandLogandc1Logandc2LogcountLogeqvLogiorLognandLognorLognotLogorc1Logorc2LogxorMaxMinModNumeratorPhaseRationalizeRealpartRemRoundScale-FloatSignumSinSinhSqrtTanTanhTruncate

The-Exponentiation-Constant-E

**The following constants were used from theories not included:**

**All-Instances***defined as a***function***in theory***Frame-Ontology****Arity***defined as a***function***in theory***Frame-Ontology****Class***defined as a***class***in theory***Frame-Ontology****Documentation***defined as a***relation***in theory***Frame-Ontology****Domain***defined as a***relation***in theory***Frame-Ontology****Function***defined as a***class***in theory***Kif-Relations****Inverse***defined as a***function***in theory***Kif-Relations****Range***defined as a***relation***in theory***Frame-Ontology****Relation***defined as a***class***in theory***Kif-Relations****Subclass-Of***defined as a***relation***in theory***Frame-Ontology****Undefined***defined as a***class***in theory***Kif-Extensions**

**All constants that were mentioned were defined.**

Formatting and translation code was written by