Relation /=

/= means not equal. It is a KIF operator.

Arity: 2

Axioms:

(<=> (/= ?X ?Y) (Not (= ?X ?Y)))

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

Notes:

• See-Also: =