ASGS documentation uses terminology 'aggregates to' and 'is aggregated from'.
These might be better names for the containment predicates.
A full hierarchy is proposed here https://github.com/CSIRO-enviro-informatics/loci.cat/blob/gh-pages/relations.md#all-relations-hierarchy which links into strictly-geometric as well as logical-but-not-necessarily-strictly-geometric relations