About: process   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:Class, within Data Space : wasabi.inria.fr associated with source document(s)

An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.

AttributesValues
type
label
  • process
  • bfo:process
isDefinedBy
comment
  • An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.
subClassOf
topic
described by
example of usage
  • a process of cell-division, \ a beating of the heart
  • a process of meiosis
  • a process of sleeping
  • the course of a disease
  • the flight of a bird
  • the life of an organism
  • your process of aging.
definition
  • p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
  • An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.
imported from
has associated axiom(fol)
  • (iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003]
editor note
  • BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)
http://data.bioont...etadata/prefixIRI
  • BFO:0000015
BFO OWL specification label
  • process
BFO CLIF specification label
  • Process
is first of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software