derives_from (OBO_REL_I:0000015)

Derivation on the instance level (*derives_from*) holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later. source: PMID:15892874

Derivation as a relation between instances. The temporal relation of derivation is more complex. Transformation, on the instance level, is just the relation of identity: each adult is identical to some child existing at some earlier time. Derivation on the instance-level is a relation holding between non-identicals. More precisely, it holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later. Thus we will have axioms to the effect that from c derives_from c1 we can infer that c and c1 are not identical and that there is some instant of time t such that c1 exists only prior to and c only subsequent to t. We will also be able to infer that the spatial region occupied by c as it begins to exist at t overlaps with the spatial region occupied by c1 as it ceases to exist in the same instant.

Examples

    Other relations

    This relation is the inverse of derived_into

    id OBO_REL_I:0000015
    name derives_from
    properties
    • transitive
    aliases
    • derived_from [exact]
    anti_symmetric
    holds_between continuant and continuant
    reflexive
    symmetric
    transitive true
    all_some_in_reference_context
    exact_synonym derived_from
    example
    inverse_of derived_into
    text_definition Derivation on the instance level (*derives_from*) holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later.
    text_definition_xref PMID:15892874

    Axioms for this relation:

    axiom

    Axioms that refer to this relation: