snap:SpatialRegion

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

snap:SpatialRegion a owl:Class ;
    rdfs:label "spatial_region"^^xsd:string ;
    rdfs:comment "Comment: All instances of continuant [snap:Continuant] are spatial entities, that is, they enter in the relation of (spatial) location with spatial region [snap:SpatialRegion] entities. As a particular case, the exact spatial location of a spatial region [snap:SpatialRegion] is this region itself."^^xsd:string,
        "Comment: An instance of spatial region [snap:SpatialRegion] is a part of space. All parts of space are spatial region [snap:SpatialRegion] entities and only spatial region [snap:SpatialRegion] entities are parts of space. Space is the entire extent of the spatial universe, a designated individual, which is thus itself a spatial region [snap:SpatialRegion]."^^xsd:string,
        "Comment: Space and spatial region [snap:SpatialRegion] entities are entities in their own rights which exist independently of any entities which can be located at them. This view of space is sometimes called \"absolutist\" or \"the container view\". In BFO, the class site [snap:Site] allows for a so-called relational view of space, that is to say, a view according to which spatiality is a matter of relative location between entities and not a matter of being tied to space. The bridge between these two views is secured through the fact that while instances of site [snap:Site] are not spatial region [snap:SpatialRegion] entities, they are nevertheless spatial entities."^^xsd:string,
        "Definition: A continuant [snap:Continuant] that is neither bearer of quality [snap:Quality] entities nor inheres in any other entities."^^xsd:string,
        "Examples: the sum total of all space in the universe, parts of the sum total of all space in the universe"^^xsd:string ;
    rdfs:subClassOf snap:Continuant ;
    owl:disjointWith snap:DependentContinuant,
        snap:IndependentContinuant ;
    owl:equivalentClass [ a owl:Class ;
            owl:unionOf ( snap:OneDimensionalRegion snap:ThreeDimensionalRegion snap:TwoDimensionalRegion snap:ZeroDimensionalRegion ) ] .