ERC with symbol providing multiple ground outputs

One way to do it is by stacking the pins and giving the hidden ones the type passive. This is the way we do it for the official library. More details about that see the library convention or this FAQ article: Electrical type of schematic symbol pins (KiCad 4 and KiCad 5)