As for part_of_some, with the additional constraint that subject and object are distinct source: PMID:15892874

Examples

Other relations

This relation has no inverse relations declared

Note that on the instance-level, proper_part_of is the inverse of has_proper_part, the instance form of has_proper_part

id	OBO_REL_C:0000006
name	proper_part_of
properties	transitive
aliases
anti_symmetric
holds_between
reflexive
symmetric
transitive	true
all_some	proper_part_of
all_some_in_reference_context
example
reciprocal_relation	has_proper_part
subrelation	part_of
text_definition	As for part_of_some, with the additional constraint that subject and object are distinct
text_definition_xref	PMID:15892874

Axioms for this relation:

Axioms that refer to this relation: