Relation =

returns true if all the arguments are numerically equal; otherwise returns nil.

Arity: 2

Subrelation-Of: =<, >=

Axioms:

(<=> (= ?A ?B) (And (>= ?A ?B) (=< ?A ?B)))

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp
• Also defined in: Kif-sets