Relation _HETEROMEROUS

Arity: 2
Domain: Material-object
Subrelation-Of: Morphological-property
Axioms:
(=> (_Heteromerous ?A ?B)
    (Exists (?Y)
            (And (Substance ?Y)
                 (Constituent-Material-Of ?Y ?A)
                 (Exists (?Z)
                         (And (Substance ?Z)
                              (Constituent-Material-Of ?Z ?A)
                              (Conceptually-Different ?Y ?Z))))))