Relation CONCEPTUALLY-DIFFERENT

This is conceptual non-identity, say it implies that a meta-thing (predicate) R1 holding for the entity x is different from a meta-thing R2 holding for the entity y. Typically, this relation is used for defining special subrelations (eg, substantially-different, formally- different, etc.). Other uses may arise in defining semantic field relations (completely irrelated, contrary, converse, etc.).
Arity: 2
Subrelation-Of: Equality-relation
Axioms:
(=> (Conceptually-Different ?A ?B)
    (Exists (?C1 ?C2)
            (And (Holds-True-2 ?C1 ?A)
                 (Holds-True-2 ?C2 ?B)
                 (Not (Identity ?C1 ?C2)))))