entity 实体 occurrent 行体 (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] 行体 Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame. (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] Occurrent (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] An entity that has temporal parts and that happens, unfolds or develops through time. An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002]) BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001]) Occurrent Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process. Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame. b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001]) occurrent BFO 2参考：不是时间或时空区域的每一个行体都是依赖于某个独立的且不是空间区域的常体 BFO 2参考：每个过程之间获得的s-依赖和它的参与者从某种意义上说，必要的时候，除非这些或那些参与者也存在，否则这个过程是不可能存在的。一个过程可能有一系列参与者在其展开的不同阶段。因此在足球比赛过程中的不同时间场上可能会有不同的球员;但整个游戏的过程依赖于所有这些玩家。这个过程的一些暂时的部分将只s-依赖_于一些玩家。 Simons使用不同的术语来表示发生在不同区域的行体关系：通过'spn [e]'表示给定occurrent e的时空位置。并称这个区域为跨度。我们可以说一个行体在它的跨度内，在任何一个较大的地区，覆盖了所有较小的地区。现在假设我们已经固定了一个参考框架，以便我们不仅可以谈及时空，而且可以谈及空间区域（地点）和时间区域（时间）。一个行体的（相对于一个参考框架）的延伸是它正好占据的空间，而它的拼写同样也是它正好占据的时间。我们写“spr [e]”和“spl [e]”。分别为e的延伸和拼写，省略框架的提及。 行体 BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players. occurrent occurrent 一个行体是一个在时间上展开的实体，或者是一个实体的瞬时边界（例如一个起点或终点），或者是一个时空或时空区域，其中这样一个实体占据_时空_区域或占据_空间_区域的。 （BFO2公理标签参考：[077-002]） 具有时间部分且随时间发生、展开或发展的实体。 如果b是具有时间部分的实体，则b是一个行体实体。 （BFO2公理标签参考：[079-001]） 每一个行体都会占据_时空_区域一些时空区域。 （BFO2公理标签参考：[108-001]） 行体 行体并不具有闭合公理，因为子类不一定丧失所有可能性。一个例子是一个进程和另一个进程的进程边界的总和。