Class NONNEGATIVE-INTEGER

• Defined in theory: Kif-numbers
• Source code: kif-numbers.lisp

Slots on this class:

Documentation: Nonnegative integer

Instance-Of: Class

Subclass-Of: Integer

Range-Of:

Float-digits, Float-precision, Integer-length, Isqrt

Axioms:

(>= ?X 0)

Other Related Axioms:

(=> (Nonnegative-Integer ?X) (>= ?X 0))

(=> (Float-Digits $X $Y) (Nonnegative-Integer $Y))

(=> (Float-Precision $X $Y) (Nonnegative-Integer $Y))

(=> (Integer-Length $X $Y) (Nonnegative-Integer $Y))

(=> (Isqrt $X $Y) (Nonnegative-Integer $Y))