Type level inverse of integral_part_of. C has_integral_part C' if and only if: C has_part C' AND C' part_of C

Examples

Other relations

This relation has no inverse relations declared

id	OBO_REL_C:0000005
name	has_integral_part
properties	anti_symmetric reflexive transitive
aliases
anti_symmetric	true
holds_between
reflexive	true
symmetric
transitive	true
all_some_in_reference_context
example
subrelation	has_part
text_definition	Type level inverse of integral_part_of. C has_integral_part C' if and only if: C has_part C' AND C' part_of C

Axioms for this relation:

axiom

has_integral_part( X, Y) ↔ part_of( Y, X) ∧ has_part( X, Y)

Axioms that refer to this relation: