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