Class EVEN-INTEGER

Even integer

Subclass-Of: Integer

Axioms:

(=> (Even-Integer ?X) (= (Mod ?X 2) 0))

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