GenEpiO

Last uploaded: February 25, 2019
Preferred Name

process profile

Definitions

b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002])

ID

http://purl.obolibrary.org/obo/BFO_0000144

BFO CLIF specification label

ProcessProfile

BFO OWL specification label

process-profile

elucidation

b process_profile_of c holds when b proper_occurrent_part_of c& there is some proper_occurrent_part d of c which has no parts in common with b & is mutually dependent on b& is such that b, c and d occupy the same temporal region (axiom label in BFO2 Reference: [094-005])

example of usage

The simplest type of process profiles are what we shall call ‘quality process profiles’, which are the process profiles which serve as the foci of the sort of selective abstraction that is involved when measurements are made of changes in single qualities, as illustrated, for example, by process profiles of mass, temperature, aortic pressure, and so on.

On a somewhat higher level of complexity are what we shall call rate process profiles, which are the targets of selective abstraction focused not on determinate quality magnitudes plotted over time, but rather on certain ratios between these magnitudes and elapsed times. A speed process profile, for example, is represented by a graph plotting against time the ratio of distance covered per unit of time. Since rates may change, and since such changes, too, may have rates of change, we have to deal here with a hierarchy of process profile universals at successive levels

One important sub-family of rate process profiles is illustrated by the beat or frequency profiles of cyclical processes, illustrated by the 60 beats per minute beating process of John’s heart, or the 120 beats per minute drumming process involved in one of John’s performances in a rock band, and so on. Each such process includes what we shall call a beat process profile instance as part, a subtype of rate process profile in which the salient ratio is not distance covered but rather number of beat cycles per unit of time. Each beat process profile instance instantiates the determinable universal beat process profile. But it also instantiates multiple more specialized universals at lower levels of generality, selected from rate process profilebeat process profileregular beat process profile3 bpm beat process profile4 bpm beat process profileirregular beat process profileincreasing beat process profileand so on.In the case of a regular beat process profile, a rate can be assigned in the simplest possible fashion by dividing the number of cycles by the length of the temporal region occupied by the beating process profile as a whole. Irregular process profiles of this sort, for example as identified in the clinic, or in the readings on an aircraft instrument panel, are often of diagnostic significance.

has associated axiom(fol)

(forall (x y) (if (processProfileOf x y) (and (properContinuantPartOf x y) (exists (z t) (and (properOccurrentPartOf z y) (TemporalRegion t) (occupiesSpatioTemporalRegion x t) (occupiesSpatioTemporalRegion y t) (occupiesSpatioTemporalRegion z t) (not (exists (w) (and (occurrentPartOf w x) (occurrentPartOf w z))))))))) // axiom label in BFO2 CLIF: [094-005]

(iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002]

isDefinedBy

http://purl.obolibrary.org/obo/bfo.owl

label

process profile

prefixIRI

BFO:0000144

prefLabel

process profile

textual definition

b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002])

subClassOf

http://purl.obolibrary.org/obo/BFO_0000015

disjointWith

http://purl.obolibrary.org/obo/BFO_0000182

Delete Subject Author Type Created
No notes to display
Create New Mapping

Delete Mapping To Ontology Source
http://purl.obolibrary.org/obo/BFO_0000144 Basic Formal Ontology (Chinese Translation) SAME_URI
http://purl.obolibrary.org/obo/BFO_0000144 Ontology of Genes and Genomes LOOM
http://purl.obolibrary.org/obo/BFO_0000144 Ontology of Genes and Genomes SAME_URI
http://purl.obolibrary.org/obo/BFO_0000144 Basic Formal Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000144 Basic Formal Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000144 Ontology for General Medical Science LOOM
http://purl.obolibrary.org/obo/BFO_0000144 Ontology for General Medical Science SAME_URI
http://purl.obolibrary.org/obo/BFO_0000144 Information Artifact Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000144 Information Artifact Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000144 International Classification of Diseases Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000144 International Classification of Diseases Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000144 Ontology for Biomedical Investigations LOOM
http://purl.obolibrary.org/obo/BFO_0000144 Ontology for Biomedical Investigations SAME_URI
http://purl.obolibrary.org/obo/BFO_0000144 Informed Consent Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000144 Informed Consent Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000144 Infectious Disease Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000144 Infectious Disease Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000144 Traditional Chinese Drug Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000144 Traditional Chinese Drug Ontology SAME_URI