Property information
q characteristic of part of w if and only if there exists some p such that q inheres in p and p part of w.
q inheres in part of w if and only if there exists some p such that q inheres in p and p part of w.
Because part_of is transitive, inheres in is a sub-relation of inheres in part of
Because part_of is transitive, inheres in is a sub-relation of characteristic of part of
https://github.com/oborel/obo-relations/wiki/ROGuide#defining-property-chains-involving-reflexivity
http://purl.obolibrary.org/obo/ro/docs/reflexivity/
Used in FYPO as described in MP/HP logical definition best practices for processes, and in an analogous manner for cell/cell part structure; identifies an entity that displays a quality in an entity-quality logical definition. Used only in logical definitions (aka xps).