<?xml version="1.0" encoding="UTF-8"?> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:metadata_def="http://data.bioontology.org/metadata/def/" xmlns:metadata="http://data.bioontology.org/metadata/"> <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000006"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000141"/> <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000029"/> <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000140"/> <metadata_def:prefLabel>spatial region</metadata_def:prefLabel> <metadata:prefixIRI>BFO:0000006</metadata:prefixIRI> <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/> <rdfs:label xml:lang="en">spatial region</rdfs:label> <obo_purl:IAO_0000116 xml:lang="en">BFO 2 Reference: Spatial regions do not participate in processes.</obo_purl:IAO_0000116> <obo_purl:IAO_0000116 xml:lang="en">Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional.</obo_purl:IAO_0000116> <obo_purl:IAO_0000600 xml:lang="en">A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001])</obo_purl:IAO_0000600> <obo_purl:BFO_0000180>SpatialRegion</obo_purl:BFO_0000180> <obo_purl:IAO_0000602>(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] </obo_purl:IAO_0000602> <obo_purl:IAO_0000602>(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] </obo_purl:IAO_0000602> <obo_purl:BFO_0000179>s-region</obo_purl:BFO_0000179> <obo_purl:IAO_0000601 xml:lang="en">All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])</obo_purl:IAO_0000601> </owl:Class> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000009"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000006"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000018"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000006"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000026"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000006"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000028"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000006"/> </rdf:Description> </rdf:RDF>