Not logged in : Login
(Sponging disallowed)

About: process boundary     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_0000035

AttributesValues
Type
subClassOf
example of usage
  • the boundary between the 2nd and 3rd year of your life.
definition
  • p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])
imported from
has associated axiom(nl)
  • Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])
has associated axiom(fol)
  • (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002]
  • (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001]
has a SPARQL endpoint at
BFO OWL specification label
  • p-boundary
BFO CLIF specification label
  • ProcessBoundary
label
  • process boundary
isDefinedBy
preferred label
  • process boundary
topic
described by
Identifier
  • 084-BFO
definition
  • p is a process boundary =Def p is a temporal part of a process & p has no proper temporal parts
example
  • The boundary between the 2nd and 3rd year of your life.
is annotatedSource of
is http://vocab.deri.ie/void#inDataset of
is first 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.3319 as of Oct 20 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