ONTOLOGY EXPLORER
realizable entity
<http://purl.obolibrary.org/obo/BFO_0000017>
プロパティと値
| プロパティ | 値 |
|---|---|
| BFO_0000179 | "realizable" |
| BFO_0000180 | "RealizableEntity" |
| IAO_0000112 | "the disposition of this piece of metal to conduct electricity."@en |
| IAO_0000112 | "the disposition of your blood to coagulate"@en |
| IAO_0000112 | "the function of your reproductive organs"@en |
| IAO_0000112 | "the role of being a doctor"@en |
| IAO_0000112 | "the role of this boundary to delineate where Utah and Colorado meet"@en |
| IAO_0000600 | "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])"@en |
| IAO_0000601 | "All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])"@en |
| IAO_0000602 | "(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] " |
| IAO_0000602 | "(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] " |
| type | Class |
| isDefinedBy | bfo.owl |
| label | "realizable entity"@en |
| subClassOf | BFO_0000020 |
| disjointWith | BFO_0000019 |