Preferred Name |
occurrent |
|
Synonyms |
|
|
Definitions |
An entity that has temporal parts and that happens, unfolds or develops through time. |
|
ID |
http://purl.obolibrary.org/obo/BFO_0000003 |
|
BFO CLIF specification label |
Occurrent |
|
BFO OWL specification label |
occurrent |
|
editor note |
Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame. Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process. BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players. |
|
editor preferred term |
occurrent |
|
elucidation |
An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002]) |
|
has associated axiom(fol) |
(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] |
|
has associated axiom(nl) |
Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001]) b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001]) |
|
imported from |
http://purl.obolibrary.org/obo/ro.owl |
|
label |
occurrent |
|
prefixIRI |
BFO:0000003 |
|
prefLabel |
occurrent |
|
rdfs:isDefinedBy | ||
textual definition |
An entity that has temporal parts and that happens, unfolds or develops through time. |
|
subClassOf |
This ontology integrates with OntoloBridge, allowing community users to suggest additions to the public ontology. Complete the template below to submit a term request directly to the ontology maintainer.
Term Label (required)
Suggested term name. If a term can be described with multiple synonyms, only list the preferred name here.
Term description (required)
A brief definition, description, or usage of your suggested term. Additional term synonyms may be listed in this section.
Superclass (required)
The parent term of the suggested term. The parent term should be an existing entry of the current ontology. The superclass can be selected directly from Bioportal's Classes tree viewer.
References (optional)
Provide evidence for the existence of the requested term such as Pubmed IDs of papers or links to other resources that describe the term.
Justification (optional)
Provide any additional information about the requested term here.