Not logged in : Login
(Sponging disallowed)

About: process boundary     Goto   Sponge   NotDistinct   Permalink

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

example of usage
  • the boundary between the 2nd and 3rd year of your life.
  • process boundary
described by
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]
BFO CLIF specification label
  • ProcessBoundary
has associated axiom(nl)
  • Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])
  • 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])
BFO OWL specification label
  • p-boundary
is annotatedSource of
is first of
is topic of
Faceted Search & Find service v1.17_git81 as of Jul 16 2021

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.3322 as of Jun 3 2021, 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-2021 OpenLink Software