Terminology Service for NFDI4Health
realizable entity
Go to external page
http://purl.obolibrary.org/obo/BFO_0000017
Term info
Label
realizable entity
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 function of your reproductive organs, the role of this boundary to delineate where Utah and Colorado meet, the role of being a doctor, the disposition of this piece of metal to conduct electricity., the disposition of your blood to coagulate
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])
isDefinedBy
http://purl.obolibrary.org/obo/bfo.owl