BOT:Property:ro:derives from

AUTO-TRANSLATED FROM THE ORIGINAL ONTOLOGY. PLEASE DO NOT MODIFY

direct description

[inferred] imported from: ro:derives_from (ro)
[inferred] member of: http://www.obofoundry.org/ro/ro.owl
[inferred] tag: Category:owl:TransitiveProperty
[original] oboInOwl:hasAlternativeId: OBO_REL:0000015
[original] oboInOwl:hasOBONamespace: relationship
[original] owl:inverseOf: Property:ro:derived_into
[original] rdf:type: Category:owl:TransitiveProperty
[original] 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.
[original] rdfs:label: derives_from
see also MediaWiki:smw_import_ro

Imported fromThis property is a special property in this wiki.	ro:derives_from (ro) +
Member of	Http://www.obofoundry.org/ro/ro.owl +
OboInOwl:hasAlternativeId	OBO REL:0000015 +
OboInOwl:hasOBONamespace	Relationship +
Owl:inverseOf	Ro:derived into +
Rdf:type	Owl:TransitiveProperty +
Rdfs:comment	Derivation as a relation between instances … 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. as it ceases to exist in the same instant.
Rdfs:label	derives_from
Tag	Owl:TransitiveProperty +