Relation _COLLECTION

Common sense wholes having an elementary uniform compositional structure, but parts are distinguished only with respect to each other, not to the whole (Gerstl-Pribbenow96).
Arity: 2
Subrelation-Of: _weak-whole
Axioms:
(=> (_Collection ?A ?B)
    (Forall (?Y ?Z)
            (=> (And (Element-Of ?Y ?A) (Element-Of ?Z ?A))
                (Not (Common-Part ?Y ?Z)))))