http://purl.obolibrary.org/obo/BFO_0000062
x is preceded by y if and only if the time point at which y ends is before or equivalent to the time point at which x starts. Formally: x preceded by y iff ω(y) <= α(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point.
@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix oboInOwl: <http://www.geneontology.org/formats/oboInOwl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix terms: <http://purl.org/dc/terms/> .
obo:BFO_0000062 a owl:ObjectProperty,
owl:TransitiveProperty ;
rdfs:label "preceded by"@en ;
obo:IAO_0000111 "preceded by"@en ;
obo:IAO_0000118 "is preceded by"@en,
"preceded_by"@en ;
terms:source "http://www.obofoundry.org/ro/#OBO_REL:preceded_by" ;
oboInOwl:inSubset <http://purl.obolibrary.org/obo/ro/subsets#ro-eco> ;
rdfs:isDefinedBy obo:ro.owl ;
rdfs:subPropertyOf obo:RO_0002086 ;
owl:inverseOf obo:BFO_0000063 ;
owl:propertyChainAxiom ( obo:BFO_0000050 obo:BFO_0000062 ) ;
skos:definition "x is preceded by y if and only if the time point at which y ends is before or equivalent to the time point at which x starts. Formally: x preceded by y iff ω(y) <= α(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point."@en .