http://purl.obolibrary.org/obo/BFO_0000063
owl:ObjectProperty, owl:TransitiveProperty
(Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| http://purl.obolibrary.org/obo/BFO_0000003 | http://purl.obolibrary.org/obo/BFO_0000063 | http://purl.obolibrary.org/obo/BFO_0000003 |
@prefix dc11: <http://purl.org/dc/elements/1.1/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
<http://purl.obolibrary.org/obo/BFO_0000063> a owl:ObjectProperty,
owl:TransitiveProperty ;
rdfs:label "precedes"@en ;
dc11:identifier "270-BFO" ;
rdfs:domain <http://purl.obolibrary.org/obo/BFO_0000003> ;
rdfs:range <http://purl.obolibrary.org/obo/BFO_0000003> ;
skos:definition "(Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants"@en ;
skos:example "The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death."@en ;
skos:scopeNote "Each temporal region is its own temporal extent. The temporal extent of a spatiotemporal region is the temporal region it temporally projects onto. The temporal extent of a process or process boundary that occupies temporal region t is t.",
"Precedes defines a strict partial order on occurrents." .