C derives_immediately_from C' if and only if: given any c and any t, if c instantiates C at time t, then there is some c' and some t', such that c' instantiates C' at t' and t' earlier-than t and c *derives_from* c'. C derives_from_some C' if and only if: there is an chain of immediate derivation relations connecting C to C'. source: PMID:15892874

C derives_from_some class C' if instances of C are connected to instances of C' via some chain of instance-level derivation relations. Example: osteocyte derives_from_some osteoblast

Examples

Other relations

This relation has no inverse relations declared

id	OBO_REL_C:0000015
name	derives_from
properties	transitive
aliases	derived_from [exact]
anti_symmetric
holds_between
reflexive
symmetric
transitive	true
all_some_in_reference_context
exact_synonym	derived_from
example
text_definition	C derives_immediately_from C' if and only if: given any c and any t, if c instantiates C at time t, then there is some c' and some t', such that c' instantiates C' at t' and t' earlier-than t and c *derives_from* c'. C derives_from_some C' if and only if: there is an chain of immediate derivation relations connecting C to C'.
text_definition_xref	PMID:15892874

Axioms for this relation:

Axioms that refer to this relation: