Not logged in : Login
(Sponging disallowed)

About: spatial region     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Class, within Data Space : linkeddata.uriburner.com associated with source document(s)
QRcode icon
http://linkeddata.uriburner.com/describe/?url=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FBFO_0000006

AttributesValues
Type
subClassOf
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.
elucidation
  • 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]
has a SPARQL endpoint at
BFO OWL specification label
  • s-region
BFO CLIF specification label
  • SpatialRegion
label
  • spatial region
  • Spatial Region
isDefinedBy
disjointWith
preferred label
  • spatial region
topic
described by
Identifier
  • 035-BFO
definition
  • (Elucidation) A spatial region is a continuant entity that is a continuant part of the spatial projection of a portion of spacetime at a given time
example
  • As for zero-dimensional spatial region, one-dimensional spatial region, two-dimensional spatial region, three-dimensional spatial region.
is subClassOf of
is annotatedSource of
is http://vocab.deri.ie/void#inDataset of
is first of
is complementOf of
is range of
is allValuesFrom of
is topic of
Faceted Search & Find service v1.17_git51 as of Jun 26 2020


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.3318 as of Jul 10 2020, 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-2020 OpenLink Software