is_immediately_downstream_of_sequence_of
x is immediately downstream of the sequence of y iff either (1) x and y have sequence units, and all units of x are downstream of all units of y, and x is sequentially adjacent to y, or (2) x and y are sequence units, in which case the immediately downstream relation is primitive and defined by context: for DNA bases, y would be adjacent and 5' to y
RO:0002515
sequentially_adjacent_to
is_a
RO:0002529
is_downstream_of_sequence_of
is_a