integral_part_of (OBO_REL_C:0000004) -- class level

C integral_part_of C' if and only if: C part_of C' AND C' has_part C source: PMID:15892874

Examples

Other relations

This relation is the inverse of has_integral_part

id OBO_REL_C:0000004
name integral_part_of
properties
  • anti_symmetric
  • reflexive
  • transitive
aliases
    anti_symmetric true
    holds_between
    reflexive true
    symmetric
    transitive true
    all_some_in_reference_context
    example
    inverse_of has_integral_part
    subrelation part_of
    text_definition C integral_part_of C' if and only if: C part_of C' AND C' has_part C
    text_definition_xref PMID:15892874

    Axioms for this relation:

    axiom

    Axioms that refer to this relation: