loading...| Preferred Name |
可实现实体 |
| Definitions |
一个特定依赖性常体，在常体实体中存在，并且在每个实体或一组实体中都不会全部展现出来。可实现实体的展示或实现是在特定情况下发生的特定表现、功能或过程。 |
| ID |
http://purl.obolibrary.org/obo/BFO_0000017 |
| BFO CLIF规范标签 |
可实现实体(RealizableEntity) |
| BFO OWL规范标签 |
可实现的 |
| isDefinedBy | |
| prefixIRI |
BFO:0000017 |
| prefLabel |
可实现实体 |
| 具有相关联的公理（fol） |
(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] (forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] |
| 具有相关联的公理（nl） |
所有可实现依赖常体都有独立常体，这些独立常体不是空间区域作为承载。 （BFO2公理标签参考：[060-002]） |
| 引自 | |
| 文本定义 |
一个特定依赖性常体，在常体实体中存在，并且在每个实体或一组实体中都不会全部展现出来。可实现实体的展示或实现是在特定情况下发生的特定表现、功能或过程。 |
| 标签 |
可实现实体 |
| 用法示例 |
这个边界角色描绘了犹他州和科罗拉多州的交汇点 你的血液的凝结倾向 你的生殖器官的功能 作为医生的角色 这块金属的导电倾向。 |
| 编辑首选术语 |
可实现实体 |
| 说明 |
要说b是一个可实现实体，就是说b是一个特定依赖性常体，它存在于某些依赖常体中，这个连续体不是一个空间区域，而是一个在相关类型的过程中实现的类型实例。 （BFO2公理标签参考：[058-002]） |
| subClassOf |