Realizable Entity - bfo-attributes/BFO-Attributes-DLC GitHub Wiki
IRI http://www.ifomis.org/bfo/1.1/snap#RealizableEntity
Definition
A specifically dependent continuant [snap:SpecificallyDependentContinuant] that inheres in continuant [snap: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.
If a realizable entity [snap:RealizableEntity] inheres in a continuant [snap:Continuant], this does not imply that it is actually realized.
Examples
- the disposition of metal to conduct electricity
- the disposition of blood to coagulate
- the function of the reproductive organs
- the role of being a doctor
Axiom
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])
All realizable dependent continuants have independent continuants that are not spatial regions as their bearers.
(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y))))))
Attributes
- Realizable Entity -HAS-> independent continuants (why not just say material entity?)
- has -> function
- hasfunctional -> occurrence
- has -> cause
- has -> effect