part of
part_of
part of
inheres in
inheres_in
characteristic of
inheres in
characteristic of part of
inheres in part of
inheres in part of
RO:0002314
inheres_in_part_of
inheres_in_part_of
Because part_of is transitive, inheres in is a sub-relation of inheres in part of
inheres in part of
Chris Mungall
q inheres in part of w if and only if there exists some p such that q inheres in p and p part of w.
q characteristic of part of w if and only if there exists some p such that q inheres in p and p part of w.
Because part_of is transitive, inheres in is a sub-relation of characteristic of part of
depends on
depends_on
has phenotype affecting
axiom holds for all times