Relation _DISTRIBUTED

The converse of _concentrated. Here 'part' from mereology is used, because 'topological-part' has shown some formal problems (see end of the source file).
Arity: 2
Subrelation-Of: Topological-property
Axioms:
(=> (_Distributed ?A ?B)
    (Exists (?Y ?Z)
            (And (Part-Of ?Y ?A)
                 (Part-Of ?Z ?A)
                 (Not (Connected ?Y ?Z)))))