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.