Preferred Name

occurrent

ID

http://purl.obolibrary.org/obo/BFO_0000003

BFO CLIF specification label

Occurrent

BFO OWL specification label

occurrent

editor note

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.

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.

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.

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)

b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])

Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])

isDefinedBy

http://purl.obolibrary.org/obo/bfo.owl

label

occurrent

prefixIRI

BFO:0000003

prefLabel

occurrent

subClassOf

http://purl.obolibrary.org/obo/BFO_0000001

Delete Subject Author Type Created
No notes to display
Create New Mapping

Delete Mapping To Ontology Source
http://purl.obolibrary.org/obo/BFO_0000003 Ontology of Adverse Events / 不良事件本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Ontology of Adverse Events / 不良事件本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 中国人类表型本体 / Human Phenotype Ontology China LOOM
http://purl.obolibrary.org/obo/BFO_0000003 中国人类表型本体 / Human Phenotype Ontology China SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 基本形式化本体 (中文翻译)/ Basic Formal Ontology (Chinese Translation) LOOM
http://purl.obolibrary.org/obo/BFO_0000003 基本形式化本体 (中文翻译)/ Basic Formal Ontology (Chinese Translation) SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Phenotypic Quality Ontology / 表型特质本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Phenotypic Quality Ontology / 表型特质本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Plant Ontology / 植物本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Plant Ontology / 植物本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Vaccine Ontology / 疫苗本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Vaccine Ontology / 疫苗本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Relations Ontology / 关系本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Relations Ontology / 关系本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Uber Anatomy Ontology / 超级解剖学本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Uber Anatomy Ontology / 超级解剖学本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Information Artifact Ontology / 信息工具本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Information Artifact Ontology / 信息工具本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Ontology for Biomedical Investigations / 生物医学研究本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Ontology for Biomedical Investigations / 生物医学研究本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 The Drug Ontology / 药物本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 The Drug Ontology / 药物本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Cell Line Ontology Subset for Chinese National Infrastructure of Cell Line Resource (NICR) / 国家实验细胞资源共享服务平台(NICR)细胞系本体子集 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Cell Line Ontology Subset for Chinese National Infrastructure of Cell Line Resource (NICR) / 国家实验细胞资源共享服务平台(NICR)细胞系本体子集 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Coronavirus Infectious Disease Ontology / 冠状病毒感染性疾病本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Coronavirus Infectious Disease Ontology / 冠状病毒感染性疾病本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Ontology for Biobanking / 生物样本库本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Ontology for Biobanking / 生物样本库本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Infectious Disease Ontology / 传染性疾病本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Infectious Disease Ontology / 传染性疾病本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Informed Consent Ontology / 知情同意本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Informed Consent Ontology / 知情同意本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 中药本体 / Traditional Chinese Drug Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000003 中药本体 / Traditional Chinese Drug Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Environment Ontology / 环境本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Environment Ontology / 环境本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 GenEpiO / 基因组流行病学本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 GenEpiO / 基因组流行病学本体 SAME_URI
http://purl.obolibrary.org/obo/BFO_0000003 Cell Ontology / 细胞本体 LOOM
http://purl.obolibrary.org/obo/BFO_0000003 Cell Ontology / 细胞本体 SAME_URI