Class INTEGER

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

Slots on this class:

Documentation: Integer

Instance-Of: Class

Subclass-Of: Rational-number

Other Related Axioms:

(Exists (?Y) (And (Integer ?Y) (Integer (* ?X ?Y))))

(<=> (Rational-Number ?X)
     (And (Real-Number ?X)
          (Exists (?Y) (And (Integer ?Y) (Integer (* ?X ?Y))))))

(<=> (Natural ?X) (And (Integer ?X) (> ?X 0)))

(=> (Floor $X $Y) (Integer $Y))

(=> (Integer-Decode-Float $X $Y) (Integer $Y))

(=> (Round $X $Y) (Integer $Y))