Not logged in : Login
(Sponging disallowed)

About: spatial region   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:Class, within Data Space : associated with source document(s)
QRcode icon

editor note
  • 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.
  • BFO 2 Reference: Spatial regions do not participate in processes.
  • 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])
has associated axiom(nl)
  • All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])
has associated axiom(fol)
  • (forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001]
  • (forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001]
BFO OWL specification label
  • s-region
BFO CLIF specification label
  • SpatialRegion
  • spatial region
described by
is subClassOf of
is annotatedSource of
is first of
is complementOf of
is topic of
Faceted Search & Find service v1.17_git34 as of Jul 24 2019

Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3315 as of Oct 25 2019, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2019 OpenLink Software