loading...| Preferred Name |
过程概要 |
| 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 |
| 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]) b是过程概要 定义为： 存在某个过程 c 使得 b 是 c 的过程概要(process_profile_of ) (axiom label in BFO2 Reference: [093-002]) |
| 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]) b 是 c 的过程概要(process_profile_of ) 成立的条件是： 当 b是c的 真行体部分(proper_occurrent_part_of) & 存在 c 的某 真行体部分(proper_occurrent_part) d 与 b 没有共同部分 & 和 b 相互依赖 & b, c 和 d 占据相同的时间域。 (axiom label in BFO2 Reference: [094-005]) |
| example of usage |
比率过程概要的一个重要子系列是由周期过程的节拍或频率概要来描述的，如约翰的心脏每分钟 60 次搏动，或在摇滚乐团中的约翰的表演中每分钟 120 次击鼓过程等等。每个这样的过程包括所谓的节拍过程概要实例的部分，其中显著比率不是描述的距离，而是单位时间内节拍周期的数目。每个节拍过程概要实例能实例化可决定的一般节拍过程概要的。但同时，它在更低粒度层次实例化多个更专门化的共相，?selected from rate process profilebeat process profile regular beat process profile3 bpm beat process profile4 bpm beat process profileirregular beat process profile increasing beat process profileand so on.。对常规节拍过程概要的例子，一个率可以通过最简单的方式来赋值，即周期数目除以搏动过程概要所占据的时间域内长度。 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 | |
| label |
过程概要 process profile |
| prefixIRI |
BFO:0000144 |
| prefLabel |
过程概要 |
| subClassOf | |
| disjointWith |