Preferred Name |
过程 |
Definitions |
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 specification label |
process |
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]) p 是过程 定义为: p 是一种行体,它具有时间真部分, 且对于某时间t,p 在时间t 特定依赖于(s-depends_on) 某物质实体。 (axiom label in BFO2 Reference: [083-003]) 一种行体,它具有时间真部分,且对某时间t满足在t时间 p 特定依赖于(s-depends_on) 某物质实体。 An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. |
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) |
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 |
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] |
isDefinedBy | |
label |
过程 process |
prefixIRI |
BFO:0000015 |
prefLabel |
过程 |
subClassOf |