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)

AttributesValues
Type
subClassOf
example of usage
  • the boundary between the 2nd and 3rd year of your life.
label
  • process boundary
isDefinedBy
Identifier
  • 084-BFO
described by
preferred label
  • process boundary
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.
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])
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])
BFO OWL specification label
  • p-boundary
imported from
is annotatedSource of
is first of
is disjointWith of
is allValuesFrom of
is topic of
Faceted Search & Find service v1.17_git63 as of Apr 23 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