proper_part_of (OBO_REL_I:0000006)
As for part_of, with the additional constraint that subject and object are distinct source: PMID:15892874
Examples
Other relations
This relation is the inverse of has_proper_part
| id | OBO_REL_I:0000006 |
| name | proper_part_of |
| properties |
|
| aliases |
|
| anti_symmetric | |
| holds_between | |
| reflexive | |
| symmetric | |
| transitive | true |
| all_some_in_reference_context | |
| example | |
| inverse_of | has_proper_part |
| subrelation | part_of |
| text_definition | As for part_of, with the additional constraint that subject and object are distinct |
| text_definition_xref | PMID:15892874 |
Axioms for this relation:
| axiom |
|
Axioms that refer to this relation: