Relation /=

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

Slots on this relation:

Documentation:

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

Arity: 2

Axioms:

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

Notes:

• Source: KIF Version 3.0 Specification
  

• See-Also: =