disposition of

IRI: https://spec.industrialontologies.org/ontology/construct/dispositionOf

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

Type: Object Property

SubProperty Of: bfo:inheres in

Domain: bfo:disposition

Range: bfo:independent continuant

Inverse Of: has disposition

Definition

relation from a disposition to an independent continuant (the bearer), in which the disposition specifically depends on the bearer for its existence

Examples

• the disposition to decay to an atom of element Y is the disposition of an atom of element X; the disposition to break apart is the disposition of a poorly assembled item

Adapted From

• http://purl.obolibrary.org/obo/RO_0000092

Formal Axioms

First-Order Logic Axioms

dispositionOf(x,y) → Disposition(x) ∧ IndependentContinuant(y) ∧ inheresIn(x,y)

Semi-Formal Natural Language Axioms

x disposition of y holds when x is a ‘disposition’ and y is a ‘independent continuant’ and x is ‘inheres in’ y

Description Logic

constr:dispositionOf ⊑ bfo:inheres_in

domain: bfo:disposition

range: bfo:independent_continuant

inverse: constr:hasDisposition

SubPropertyOf: bfo:inheres_in

domain: bfo:disposition

range: bfo:independent_continuant

inverse: constr:hasDisposition