Not logged in : Login
(Sponging disallowed)

About: precedes     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:ObjectProperty, 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_0000063

AttributesValues
Type
subPropertyOf
inverseOf
has_dbxref
  • BFO:0000063
has_obo_namespace
  • uberon
id
  • precedes
in_subset
shorthand
  • precedes
editor preferred term
  • precedes
definition
  • x precedes y if and only if the time point at which x ends is before or equivalent to the time point at which y starts. Formally: x precedes y iff ω(x) <= α(y), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point.
imported from
label
  • precedes
  • precedes
domain
range
preferred label
  • precedes
described by
Identifier
  • 270-BFO
definition
  • (Elucidation) If o, o' are occurrents and t is the temporal extent of o and t' is the temporal extent of o' then o precedes o' means: either last instant of o is before first instant of o' or last instant of o = first instant of o' and neither o nor o' are temporal instants
example
  • The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death. NOTE 1: Each temporal region is its own temporal extent. The temporal extent of a spatiotemporal region is the temporal region it temporally projects onto. The temporal extent of a process or process boundary that occupies temporal region t is t. NOTE 2: Precedes defines a strict partial order on occurrents.
propertyChainAxiom
is subPropertyOf of
is inverseOf of
is is direct form of of
is first of
is onProperty of
is topic of
is https://w3id.org/b...kml/meta/slot_uri 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 27 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