A relation between a dependent continuant D and an entity E. D inheres_in E iff: given any d that instantiates D at t, there exists some e that instantiates E at t and d *inheres_in* e at t. Here *inheres_in* is the primitive instance level relation, OBO_REL_I:0000026.

Examples

Other relations

This relation holds in a all-some-all-times over the instance-level relation: inheres_in

This relation has no inverse relations declared

Note that on the instance-level, inheres_in is the inverse of bearer_of, the instance form of bearer_of

id	OBO_REL_C:0000026
name	inheres_in
properties
aliases
anti_symmetric
holds_between
reflexive
symmetric
transitive
all_some_all_times	inheres_in
all_some_in_reference_context
example
reciprocal_relation	bearer_of
text_definition	A relation between a dependent continuant D and an entity E. D inheres_in E iff: given any d that instantiates D at t, there exists some e that instantiates E at t and d *inheres_in* e at t. Here *inheres_in* is the primitive instance level relation, OBO_REL_I:0000026.

Axioms for this relation:

Axioms that refer to this relation: