Relation /=

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

Slots on this relation:

Documentation:

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

Instance-Of: Relation

Arity: 2

Equivalence Axioms:

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

Other Related Axioms:

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

Notes:

• Source: KIF Version 3.0 Specification

• See-Also: =