Not logged in : Login
(Sponging disallowed)

About: spatiotemporal 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_0000011

AttributesValues
Type
subClassOf
example of usage
  • the spatiotemporal region occupied by a process of cellular meiosis.
  • the spatiotemporal region occupied by a human life
  • the spatiotemporal region occupied by the development of a cancer tumor
elucidation
  • A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])
has associated axiom(nl)
  • Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])
  • Every spatiotemporal region occupies_spatiotemporal_region itself.
  • Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])
  • Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])
  • All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])
has associated axiom(fol)
  • (forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001]
  • (forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001]
  • (forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001]
  • (forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002]
  • (forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001]
has a SPARQL endpoint at
BFO OWL specification label
  • st-region
BFO CLIF specification label
  • SpatiotemporalRegion
label
  • spatiotemporal region
isDefinedBy
preferred label
  • spatiotemporal region
topic
described by
Identifier
  • 095-BFO
definition
  • (Elucidation) A spatiotemporal region is an occurrent that is an occurrent part of spacetime
scope note
  • 'Spacetime' here refers to the maximal instance of the universal spatiotemporal region.
example
  • The spatiotemporal region occupied by the development of a cancer tumour, the spatiotemporal region occupied by an orbiting satellite.
is annotatedSource of
is http://vocab.deri.ie/void#inDataset of
is first of
is domain of
is range of
is disjointWith 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