http://purl.obolibrary.org/obo/BFO_0000015
(Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant
Instances of http://purl.obolibrary.org/obo/BFO_0000015 can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|---|---|---|
| From class http://purl.obolibrary.org/obo/BFO_0000015 | |||
| http://purl.obolibrary.org/obo/BFO_0000055 | owl:ObjectProperty | (Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c | http://purl.obolibrary.org/obo/BFO_0000017 |
| http://purl.obolibrary.org/obo/BFO_0000057 | owl:ObjectProperty | p has participant c =Def c participates in p | ne08c48ea2fae4eda93755d8a734e78a5b9 |
| From class http://purl.obolibrary.org/obo/BFO_0000003 | |||
| http://purl.obolibrary.org/obo/BFO_0000062 | owl:ObjectProperty | b preceded by c =Def b precedes c | http://purl.obolibrary.org/obo/BFO_0000003 |
| http://purl.obolibrary.org/obo/BFO_0000063 | owl:ObjectProperty | (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 | http://purl.obolibrary.org/obo/BFO_0000003 |
| http://purl.obolibrary.org/obo/BFO_0000117 | owl:ObjectProperty | b has occurrent part c =Def c occurrent part of b | http://purl.obolibrary.org/obo/BFO_0000003 |
| http://purl.obolibrary.org/obo/BFO_0000121 | owl:ObjectProperty | b has temporal part c =Def c temporal part of b | http://purl.obolibrary.org/obo/BFO_0000003 |
| http://purl.obolibrary.org/obo/BFO_0000132 | owl:ObjectProperty | (Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c | http://purl.obolibrary.org/obo/BFO_0000003 |
| http://purl.obolibrary.org/obo/BFO_0000139 | owl:ObjectProperty | b temporal part of c =Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies) | http://purl.obolibrary.org/obo/BFO_0000003 |
| From class http://purl.obolibrary.org/obo/BFO_0000001 | |||
| http://purl.obolibrary.org/obo/BFO_0000108 | owl:ObjectProperty | (Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists | http://purl.obolibrary.org/obo/BFO_0000008 |
| From class owl:Thing | |||
| dc1:contributor | owl:AnnotationProperty | owl:Thing | |
| dc1:identifier | owl:AnnotationProperty | owl:Thing | |
| dc1:license | owl:AnnotationProperty | owl:Thing | |
| dc:description | owl:AnnotationProperty | owl:Thing | |
| dc:license | owl:AnnotationProperty | owl:Thing | |
| dc:title | owl:AnnotationProperty | owl:Thing | |
| skos:altLabel | owl:AnnotationProperty | owl:Thing | |
| skos:definition | owl:AnnotationProperty | owl:Thing | |
| skos:example | owl:AnnotationProperty | owl:Thing | |
| skos:prefLabel | owl:AnnotationProperty | owl:Thing | |
| skos:scopeNote | owl:AnnotationProperty | owl:Thing | |
@prefix dc11: <http://purl.org/dc/elements/1.1/> .
@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#> .
<http://purl.obolibrary.org/obo/BFO_0000015> a owl:Class ;
rdfs:label "process"@en ;
dc11:identifier "083-BFO" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:allValuesFrom [ a owl:Class ;
owl:unionOf ( <http://purl.obolibrary.org/obo/BFO_0000015> <http://purl.obolibrary.org/obo/BFO_0000035> ) ] ;
owl:onProperty <http://purl.obolibrary.org/obo/BFO_0000117> ],
[ a owl:Restriction ;
owl:allValuesFrom <http://purl.obolibrary.org/obo/BFO_0000015> ;
owl:onProperty <http://purl.obolibrary.org/obo/BFO_0000132> ],
[ a owl:Restriction ;
owl:allValuesFrom <http://purl.obolibrary.org/obo/BFO_0000015> ;
owl:onProperty <http://purl.obolibrary.org/obo/BFO_0000139> ],
<http://purl.obolibrary.org/obo/BFO_0000003> ;
skos:altLabel "event"@en ;
skos:definition "(Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant"@en ;
skos:example "An act of selling; the life of an organism; a process of sleeping; a process of cell-division; a beating of the heart; a process of meiosis; the taxiing of an aircraft; the programming of a computer"@en .