Relation DIFFERENT

This is a generic non-identity, mainly useful to functional expressions; for specialized equality/difference see other concepts in this context.

Arity: 2

Subrelation-Of: Equality-relation

Axioms:

(=> (Different ?A ?B) (Not (Identity ?A ?B)))

• Defined in theory: Equality
• Source code: Equality.lisp