Link to this page
Ontology of Host-Pathogen Interactions
Last uploaded:
September 30, 2019
| Id | http://purl.obolibrary.org/obo/BFO_0000017
http://purl.obolibrary.org/obo/BFO_0000017
|
|---|---|
| Preferred Name | realizable entity |
| 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.
|
| Type | http://www.w3.org/2002/07/owl#Class |
All Properties
| prefLabel | realizable entity
|
|---|---|
| label | 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]
|
| BFO OWL specification label |
可实现的
realizable
realizable
|
| prefixIRI | BFO:0000017
|
| elucidation | 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])
|
| 文本定义 | 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.
|
| isDefinedBy | |
| BFO CLIF specification label |
可实现实体(RealizableEntity)
RealizableEntity
RealizableEntity
|
| 具有相关联的公理（nl） | All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])
|
| imported from |
See more
See less
|
| 编辑首选术语~编辑首选标签 | realizable entity
|
| type | |
| subClassOf | |
| 用法示例 | 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
|
| disjointWith |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |