http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology inheres in aggregate x inheres_in_aggregate y iff x is an instance of Specifically Dependent Continuant and y is an instance of Object Aggregate and z is an instance of Object, such that z bearer_of x, and all other members of y are bearers of a unique instance of the same type as x.