Preferred Name | disposition | |
Synonyms |
|
|
Definitions |
B is a disposition means: b is a realizable entity and b’s bearer is some material entity and b is such that if it ceases to exist, then its bearer is physically changed, and b’s realization occurs when and because this bearer is in some special physical circumstances, and this realization occurs in virtue of the bearer’s physical make-up. [BFO] |
|
ID |
http://purl.obolibrary.org/obo/BFO_0000016 |
|
BFO CLIF specification label |
Disposition |
|
BFO OWL specification label |
disposition |
|
definition |
B is a disposition means: b is a realizable entity and b’s bearer is some material entity and b is such that if it ceases to exist, then its bearer is physically changed, and b’s realization occurs when and because this bearer is in some special physical circumstances, and this realization occurs in virtue of the bearer’s physical make-up. [BFO] |
|
editor note |
BFO 2 Reference: Dispositions exist along a strength continuum. Weaker forms of disposition are realized in only a fraction of triggering cases. These forms occur in a significant number of cases of a similar type. |
|
elucidation |
b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002]) |
|
example of usage |
the cell wall is disposed to filter chemicals in endocytosis and exocytosis an atom of element X has the disposition to decay to an atom of element Y children are innately disposed to categorize objects in certain ways. certain people have a predisposition to colon cancer |
|
has associated axiom(fol) |
(forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002] (forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] |
|
has associated axiom(nl) |
If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002]) |
|
inheres in | ||
isDefinedBy | ||
label |
disposition |
|
note |
B is a disposition means: b is a realizable entity and b’s bearer is some material entity and b is such that if it ceases to exist, then its bearer is physically changed, and b’s realization occurs when and because this bearer is in some special physical circumstances, and this realization occurs in virtue of the bearer’s physical make-up. [BFO] |
|
preferred label |
disposition |
|
prefixIRI |
BFO:0000016 |
|
disjointWith | ||
subClassOf |