loading...| Preferred Name |
行体 |
| Definitions |
具有时间部分且随时间发生、展开或发展的实体。 |
| ID |
http://purl.obolibrary.org/obo/BFO_0000003 |
| BFO CLIF规范标签 |
行体 |
| BFO OWL规范标签 |
行体 |
| isDefinedBy | |
| prefixIRI |
BFO:0000003 |
| prefLabel |
行体 |
| 具有相关联的公理（fol） |
(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] |
| 具有相关联的公理（nl） |
如果b是具有时间部分的实体，则b是一个行体实体。 （BFO2公理标签参考：[079-001]） 每一个行体都会占据_时空_区域一些时空区域。 （BFO2公理标签参考：[108-001]） |
| 引自 |
http://purl.obolibrary.org/obo/clo.owl |
| 文本定义 |
具有时间部分且随时间发生、展开或发展的实体。 |
| 标签 |
行体 |
| 编者注 |
Simons使用不同的术语来表示发生在不同区域的行体关系：通过'spn [e]'表示给定occurrent e的时空位置。并称这个区域为跨度。我们可以说一个行体在它的跨度内，在任何一个较大的地区，覆盖了所有较小的地区。现在假设我们已经固定了一个参考框架，以便我们不仅可以谈及时空，而且可以谈及空间区域（地点）和时间区域（时间）。一个行体的（相对于一个参考框架）的延伸是它正好占据的空间，而它的拼写同样也是它正好占据的时间。我们写“spr [e]”和“spl [e]”。分别为e的延伸和拼写，省略框架的提及。 BFO 2参考：不是时间或时空区域的每一个行体都是依赖于某个独立的且不是空间区域的常体 BFO 2参考：每个过程之间获得的s-依赖和它的参与者从某种意义上说，必要的时候，除非这些或那些参与者也存在，否则这个过程是不可能存在的。一个过程可能有一系列参与者在其展开的不同阶段。因此在足球比赛过程中的不同时间场上可能会有不同的球员;但整个游戏的过程依赖于所有这些玩家。这个过程的一些暂时的部分将只s-依赖_于一些玩家。 行体并不具有闭合公理，因为子类不一定丧失所有可能性。一个例子是一个进程和另一个进程的进程边界的总和。 |
| 编辑首选术语 |
行体 |
| 说明 |
一个行体是一个在时间上展开的实体，或者是一个实体的瞬时边界（例如一个起点或终点），或者是一个时空或时空区域，其中这样一个实体占据_时空_区域或占据_空间_区域的。 （BFO2公理标签参考：[077-002]） |
| subClassOf |