has disposition

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

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

Type: Object Property

SubProperty Of: bfo:bearer of

Domain: bfo:independent continuant

Range: bfo:disposition

Inverse Of: disposition of

Definition

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

Examples

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

Adapted From

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

Formal Axioms

First-Order Logic Axioms

hasDisposition(x,y) → IndependentContinuant(x) ∧ Disposition(y) ∧ bearerOf(x,y)

Semi-Formal Natural Language Axioms

x has disposition y holds when x is a ‘independent continuant’ and y is a ‘disposition’ and x is ‘bearer of’ y

Description Logic

constr:hasDisposition ⊑ bfo:bearer_of

domain: bfo:independent_continuant

range: bfo:disposition

inverse: constr:dispositionOf

SubPropertyOf: bfo:bearer_of

domain: bfo:independent_continuant

range: bfo:disposition

inverse: constr:dispositionOf