The Software Ontology

Last uploaded: March 5, 2023
loading ....
Preferred Name

occurrent

Definitions

An entity that has temporal parts and that happens, unfolds or develops through time.

ID

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

BFO_0000179

occurrent

BFO_0000180

Occurrent

definition

An entity that has temporal parts and that happens, unfolds or develops through time.

IAO_0000116

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.

IAO_0000600

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])

IAO_0000601

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])

IAO_0000602

(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]

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

Portal mappings

Mapping To Ontology Relations Source Type Actions
http://purl.obolibrary.org/obo/Occurrent https://data.industryportal.enit.fr/ontologies/MTO LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/PSS LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/PSS SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/IOF-SCRO LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/IOF-SCRO SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/IOF-MAINTENANCE SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MMSSO LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MMSSO SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/BFO SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MMSSO SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/IOF-CORE LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/IOF-CORE SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MMSSO-TEST2 LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MMSSO-TEST2 SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/IAO LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/IAO SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MMSSO_TEST LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MMSSO_TEST SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MMSSO LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MMSSO SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/ROMAIN LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/ROMAIN SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/IOF-CORE LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/IOF-CORE SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MTO SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/FTO SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/BFO LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/BFO SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/BTO SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MSDL LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/MSDL SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/IOF-MAINTENANCE LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/IOF-MAINTENANCE SAME_URI Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/CCO LOOM Inter-portal
http://purl.obolibrary.org/obo/BFO_0000003 https://data.industryportal.enit.fr/ontologies/CCO SAME_URI Inter-portal
https://w3id.org/digitalconstruction/0.5/Entities#Occurrent https://data.industryportal.enit.fr/ontologies/DCOCCUPANCY LOOM Inter-portal
https://w3id.org/digitalconstruction/0.5/Entities#Occurrent https://data.industryportal.enit.fr/ontologies/DCLIFECYCLE LOOM Inter-portal
https://w3id.org/digitalconstruction/0.5/Entities#Occurrent https://data.industryportal.enit.fr/ontologies/DCPROCESSES LOOM Inter-portal
https://w3id.org/digitalconstruction/0.5/Entities#Occurrent https://data.industryportal.enit.fr/ontologies/BFO LOOM Inter-portal
https://w3id.org/digitalconstruction/0.5/Entities#Occurrent https://data.industryportal.enit.fr/ontologies/DCAGENTS LOOM Inter-portal
https://w3id.org/digitalconstruction/0.5/Entities#Occurrent https://data.industryportal.enit.fr/ontologies/DCMATERIALS LOOM Inter-portal
https://w3id.org/digitalconstruction/0.5/Entities#Occurrent https://data.industryportal.enit.fr/ontologies/DCENERGY LOOM Inter-portal
https://w3id.org/digitalconstruction/0.5/Entities#Occurrent https://data.industryportal.enit.fr/ontologies/DCENTITIES LOOM Inter-portal
https://w3id.org/digitalconstruction/0.5/Entities#Occurrent https://data.industryportal.enit.fr/ontologies/DCINFORMATION LOOM Inter-portal
loading ....
loading ....
loading ....
loading ....
loading ....