part_of (OBO_REL_C:0000002) -- class level

For continuants: C part_of C' if and only if: given any c that instantiates C at a time t, there is some c' such that c' instantiates C' at time t, and c part_of c' at t. For processes: P part_of P' if and only if: given any p that instantiates P at a time t, there is some p' such that p' instantiates P' at time t, and p part_of p' at t. (Here part_of is the instance-level part-relation, @OBO_REL_I:0000002@). source: PMID:15892874

To define part_of as a relation between classes we again need to distinguish the two cases of continuants and processes, even though the explicit reference to instants of time now falls away. For continuants, we have C part_of C1 if and only if any instance of C at any time is an instance-level part of some instance of C1 at that time, as for example in: cell nucleus part_ of cell.

Examples

Other relations

This relation holds in a all-some-all-times over the instance-level relation: part_of

This relation has no inverse relations declared

Note that on the instance-level, part_of is the inverse of has_part, the instance form of has_part

id OBO_REL_C:0000002
name part_of
properties
  • anti_symmetric
  • reflexive
  • transitive
aliases
    anti_symmetric true
    holds_between
    reflexive true
    symmetric
    transitive true
    all_some part_of
    all_some_all_times part_of
    all_some_in_reference_context
    example
    reciprocal_relation has_part
    text_definition For continuants: C <i>part_of</i> C' if and only if: given any c that instantiates C at a time t, there is some c' such that c' instantiates C' at time t, and c <b>part_of</b> c' at t. For processes: P <i>part_of</i> P' if and only if: given any p that instantiates P at a time t, there is some p' such that p' instantiates P' at time t, and p <b>part_of</b> p' at t. (Here <b>part_of</b> is the instance-level part-relation, @OBO_REL_I:0000002@).
    text_definition_xref PMID:15892874

    Axioms for this relation:

    Axioms that refer to this relation:

    axiom
    axiom