F realized_by P iff every instance of F is realized_by some instance of P

Examples

Other relations

This relation has no inverse relations declared

Note that on the instance-level, realized_by is the inverse of realizes, the instance form of realizes

id	OBO_REL_C:0000035
name	realized_by
properties
aliases	executed_during [related] has_realization [narrow]
anti_symmetric
holds_between
reflexive
symmetric
transitive
all_some	realized_by
all_some_in_reference_context
example
reciprocal_relation	realizes
related_synonym	executed_during
text_definition	F realized_by P iff every instance of F is realized_by some instance of P

Axioms for this relation:

Axioms that refer to this relation: