isTransitiveSubgroupOf
P186111
predicate
Indicates that one group is a subgroup of another and that this subgroup relation is transitive through intermediate groups.