Not logged in : Login
(Sponging disallowed)

About: temporal region     Goto   Sponge   NotDistinct   Permalink

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

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
  • 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
  • temporal region
  • Temporal Region
described by
is subClassOf of
is annotatedSource of
is of
is domain of
is range of
is topic of
Faceted Search & Find service v1.17_git47 as of Feb 13 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.3316 as of Feb 19 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