Numbers



next up previous
Next: Functions on Numbers Up: No Title Previous: Definitions

Numbers

KIF includes the following standard vocabulary for describing properties of numbers. A formal axiomatization of numbers and of the associated functions and relations is being developed for inclusion in later versions of this manual. Common Lisp is being used as a guide in that development to determine both the types of numbers and the number-related functions and relations to include in the language. The informal descriptions below are provided to indicate the anticipated vocabulary.





Vishal I. Sikka
Wed Dec 7 13:23:42 PST 1994