loading...| Preferred Name | realizable entity | |
| Synonyms |
|
|
| ID |
http://purl.obolibrary.org/obo/BFO_0000017 |
|
| BFO CLIF specification label |
RealizableEntity |
|
| BFO OWL specification label |
realizable |
|
| 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]) |
|
| example of usage |
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 |
|
| has associated axiom(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] |
|
| has associated axiom(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 | ||
| label |
realizable entity |
|
| prefixIRI |
BFO:0000017 obo1:BFO_0000017 |
|
| prefLabel |
realizable entity |
|
| rdfs:isDefinedBy | ||
| disjointWith | ||
| subClassOf |