Preferred Name |
realizable entity |
|
Synonyms |
|
|
Definitions |
A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances. 一个特定依赖性常体,在常体实体中存在,并且在每个实体或一组实体中都不会全部展现出来。可实现实体的展示或实现是在特定情况下发生的特定表现、功能或过程。 |
|
ID |
http://purl.obolibrary.org/obo/BFO_0000017 |
|
BFO CLIF specification label |
可实现实体(RealizableEntity) RealizableEntity RealizableEntity |
|
BFO OWL specification label |
可实现的 realizable realizable |
|
elucidation |
要说b是一个可实现实体,就是说b是一个特定依赖性常体,它存在于某些依赖常体中,这个连续体不是一个空间区域,而是一个在相关类型的过程中实现的类型实例。 (BFO2公理标签参考:[058-002]) To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002]) |
|
imported from |
http://purl.obolibrary.org/obo/bfo.owl http://purl.obolibrary.org/obo/ido.owl http://purl.obolibrary.org/obo/vo.owl http://purl.obolibrary.org/obo/ogg.owl http://purl.obolibrary.org/obo/ino.owl http://purl.obolibrary.org/obo/oae.owl http://purl.obolibrary.org/obo/ro.owl |
|
isDefinedBy | ||
label |
可实现实体 realizable entity |
|
prefixIRI |
BFO:0000017 |
|
prefLabel |
realizable entity |
|
具有相关联的公理(fol) |
(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] (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] (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] |
|
具有相关联的公理(nl) |
All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002]) 所有可实现依赖常体都有独立常体,这些独立常体不是空间区域作为承载。 (BFO2公理标签参考:[060-002]) |
|
文本定义 |
A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances. 一个特定依赖性常体,在常体实体中存在,并且在每个实体或一组实体中都不会全部展现出来。可实现实体的展示或实现是在特定情况下发生的特定表现、功能或过程。 |
|
用法示例 |
the disposition of your blood to coagulate 作为医生的角色 the role of being a doctor the role of this boundary to delineate where Utah and Colorado meet 你的生殖器官的功能 the disposition of this piece of metal to conduct electricity. 这个边界角色描绘了犹他州和科罗拉多州的交汇点 你的血液的凝结倾向 the function of your reproductive organs 这块金属的导电倾向。 |
|
编辑首选术语~编辑首选标签 |
可实现实体 realizable entity |
|
disjointWith | ||
subClassOf |