Preferred Name |
process |
Definitions |
p是一个进程= Def. p是一个常体,其具有时间适当的部分且对于某个时间t,p s-依赖_于t时刻的一些物质实体。 (BFO2公理标签参考:[083-003]) 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]) |
ID |
http://purl.obolibrary.org/obo/BFO_0000015 |
BFO CLIF specification label |
Process 过程 |
BFO OWL规范标签 |
process 过程 |
editor preferred label |
过程 process |
example of usage |
a process of cell-division, a beating of the heart a process of sleeping the course of a disease the life of an organism 一只鸟的飞行 一个减数分裂的过程 一个睡眠的过程 your process of aging. 疾病的过程 一个细胞分裂的过程,一个跳动的心脏 a process of meiosis 一个生物体的生命 the flight of a bird 你的老化过程。 |
id |
BFO:0000015 |
isDefinedBy | |
label |
过程 process |
notation |
BFO:0000015 |
prefLabel |
process |
textual definition |
p是一个进程= Def. p是一个常体,其具有时间适当的部分且对于某个时间t,p s-依赖_于t时刻的一些物质实体。 (BFO2公理标签参考:[083-003]) 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]) 一个常体,其具有时间适当的部分且对于某个时间t,p s-依赖_于t时刻的一些物质实体。 An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. |
具有相关联的公理(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] (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] |
引自 |
http://purl.obolibrary.org/obo/pr.owl http://purl.obolibrary.org/obo/clo.owl |
有_obo_命名空间 |
bfo |
编者注 |
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) BFO 2参考文献:相比在行体领域的情况,自然单位在独立常体领域的存在更普遍。因此这里没有对象的对等物。在BFO 1.0'过程'中充当了这样一个对等物。在BFO 2.0中,“过程”相当于“物质实体”的对等物。那些自然的-与工程设计相对比,这里的意思是:在现实领域中确实存在的故意执行-单位通常是寄生于常体侧存在的自然单位,或者它们本质上是允许的。因此,我们可以计算生命;我们可以算足球比赛;我们可以计算在实验或化学制造中进行的化学反应。我们不能计算如发生在昆虫交配行为中的过程。即使自然单位是可识别的,例如周期性过程的周期,例如跳动心脏或生物体的睡眠/觉醒周期,过程在讨论中形成一个没有我们发现的那种不连续性(时间间隔)的序列,在这种不连续性中,如台球或斑马鱼或行星被明确的空间差距分开。有机体的生命是过程单元,但是它们也是从其他先前的过程(如受精)中连续地展开,然后展开连续的一系列后期过程,例如死后衰变。过程界限的清晰例子几乎总是属于法定类型(午夜,手术室宣布的死亡时间或者死亡证明,战争状态的开始) |
subClassOf |