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))))