span:TemporalRegion

@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 span: <http://www.ifomis.org/bfo/1.1/span#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

span:TemporalRegion a owl:Class ;
    rdfs:label "temporal_region"^^xsd:string ;
    rdfs:comment "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]."^^xsd:string,
        "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."^^xsd:string,
        "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]."^^xsd:string,
        "Definition: An occurrent [span:Occurrent] that is part of time."^^xsd:string,
        "Examples: the time it takes to run a marathon, the duration of a surgical procedure, the moment of death"^^xsd:string ;
    rdfs:subClassOf span:Occurrent ;
    owl:disjointWith span:ProcessualEntity,
        span:SpatiotemporalRegion ;
    owl:equivalentClass [ a owl:Class ;
            owl:unionOf ( span:ConnectedTemporalRegion span:ScatteredTemporalRegion ) ] .