Not logged in : Login
(Sponging disallowed)

About: temporal 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_0000008

AttributesValues
type
subClassOf
editor note
  • Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional
elucidation
  • A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])
has associated axiom(nl)
  • Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])
  • All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])
has associated axiom(fol)
  • (forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002]
  • (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001]
  • (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001]
has a SPARQL endpoint at
BFO OWL specification label
  • t-region
BFO CLIF specification label
  • TemporalRegion
label
  • temporal region
isDefinedBy
disjointWith
topic
described by
is subClassOf of
is annotatedSource of
is http://vocab.deri.ie/void#inDataset of
is domain of
is range 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 Sep 13 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