We rename 'concentrated' the strictly mereological definition of 'whole': integral and self-connected. This because it seems more intuitive talking of concentrated and distributed wholes rather than of wholes and distributed ?object?, ?stuff?
(=> (_Concentrated ?A ?B)
(Forall (?Y ?Z)
(=> (And (Part-Of ?Y ?A) (Part-Of ?Z ?A))
(Connected ?Y ?Z))))