Property: ro:derives_from

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.

Types

owl:TransitiveProperty

Super Properties

ro:relationship

Characteristics

Transitive

Annotations

oboInOwl:hasDefinition@_:A25
oboInOwl:hasExactSynonym@_:A24
oboInOwl:hasOBONamespacerelationship

Abstract Syntax

ObjectProperty(ro:derives_from annotation(rdfs:label "derives_from"@en)
                              annotation(rdfs:comment "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."^^<http://www.w3.org/2001/XMLSchema#string>)
                              annotation(oboInOwl:hasExactSynonym @_:A24)
                              annotation(oboInOwl:hasDefinition @_:A25)
                              annotation(oboInOwl:hasOBONamespace "relationship"^^<http://www.w3.org/2001/XMLSchema#string>)
                              super(ro:relationship)
                              Transitive)
Generated with OWLDoc