Preferred Name | disposition | |
Synonyms |
|
|
ID |
http://purl.obolibrary.org/obo/BFO_0000016 |
|
BFO CLIF specification label |
Disposition Disposition 倾向 |
|
BFO OWL specification label |
disposition disposition 倾向 |
|
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. 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 [89 |
|
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]) |
|
imported from |
http://purl.obolibrary.org/obo/ido.owl http://purl.obolibrary.org/obo/vo.owl http://purl.obolibrary.org/obo/ogg.owl http://purl.obolibrary.org/obo/ogg/ogg-bru.owl http://purl.obolibrary.org/obo/oae.owl http://purl.obolibrary.org/obo/ido/brucellosis.owl |
|
isDefinedBy | ||
label |
disposition |
|
prefixIRI |
BFO:0000016 |
|
prefLabel |
disposition |
|
具有相关联的公理(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] (forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] (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] |
|
具有相关联的公理(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]) |
|
用法示例 |
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 the cell wall is disposed to filter chemicals in endocytosis and exocytosis the cell wall is disposed to filter chemicals in endocitosis and exocitosis |
|
编辑首选术语~编辑首选标签 |
disposition |
|
disjointWith | ||
subClassOf |