loading...| Preferred Name | temporal region | |
| Synonyms |
|
|
| Definitions |
Comment: An instance of temporal region [span:TemporalRegion] is a part of time. All parts of time are temporal region [span:TemporalRegion] entities and only temporal region [span:TemporalRegion] entities are parts of time. Time is the entire extent of the temporal universe, a designated individual, which is thus a temporal region itself. Comment: All instances of occurrent [span:Occurrent] are temporal entities, that is, they enter in the relation of (temporal) location with temporal region [span:TemporalRegion] entities. As a particular case, the exact spatiotemporal location of a temporal region [span:TemporalRegion] is this region itself. Continuant [snap:Continuant] entities are not temporal entities in the technical sense just explained; they are related to time in a different way, not through temporal location but through a relation of existence at a time or during a period of time (see continuant [snap:Continuant]. Examples: the time it takes to run a marathon, the duration of a surgical procedure, the moment of death Comment: Time and temporal region [span:TemporalRegion] entities are entities in their own rights which exist independently of any entities which can be located at them. This view of time can be called "absolutist" or "the container view" in analogy to what is traditionally the case with space (see spatial region [snap:SpatialRegion]. Definition: An occurrent [span:Occurrent] that is part of time. |
|
| ID |
http://purl.obolibrary.org/obo/BFO_0000008 |
|
| comment |
Comment: An instance of temporal region [span:TemporalRegion] is a part of time. All parts of time are temporal region [span:TemporalRegion] entities and only temporal region [span:TemporalRegion] entities are parts of time. Time is the entire extent of the temporal universe, a designated individual, which is thus a temporal region itself. Comment: All instances of occurrent [span:Occurrent] are temporal entities, that is, they enter in the relation of (temporal) location with temporal region [span:TemporalRegion] entities. As a particular case, the exact spatiotemporal location of a temporal region [span:TemporalRegion] is this region itself. Continuant [snap:Continuant] entities are not temporal entities in the technical sense just explained; they are related to time in a different way, not through temporal location but through a relation of existence at a time or during a period of time (see continuant [snap:Continuant]. Examples: the time it takes to run a marathon, the duration of a surgical procedure, the moment of death Comment: Time and temporal region [span:TemporalRegion] entities are entities in their own rights which exist independently of any entities which can be located at them. This view of time can be called "absolutist" or "the container view" in analogy to what is traditionally the case with space (see spatial region [snap:SpatialRegion]. Definition: An occurrent [span:Occurrent] that is part of time. |
|
| BFO CLIF specification label |
TemporalRegion |
|
| BFO OWL specification label |
t-region |
|
| editor note |
Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional |
|
| elucidation |
A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001]) |
|
| has associated axiom(fol) |
(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] |
|
| has associated axiom(nl) |
Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002]) All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001]) |
|
| isDefinedBy | ||
| label |
temporal region temporal_region |
|
| prefixIRI |
BFO:0000008 |
|
| prefLabel |
temporal region |
|
| disjointWith |
http://purl.obolibrary.org/obo/BFO_0000015 |
|
| subClassOf |