undesireable disposition

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

Defined In: https://spec.industrialontologies.org/ontology/maintenance/Maintenance/

SubClass Of: bfo:disposition

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:disposition › undesireable disposition

Direct subclasses:

• disposition to exhibit undesirable behavior
• disposition to fail

Definition

disposition of an item to undergo a process that leads to undesirable outcomes

Semi-Formal Definition:

every instance of ‘undesirable disposition’ is defined as exactly an instance of ‘disposition to fail’ or exactly an instance of ‘disposition to exhibit undesirable behavior’

Explanatory Notes

There are two subclasses, disposition to fail and disposition to exhibit undesirable behavior. We need to distinguish between the disposition to leak which is realised in a leaking process (regarded as a failure) and the disposition to overheat realised in a heating process (which, in this example) is not a failure process). We asset that disposition to exhibit undesirable behavior is the disposition of an item that would not be expected under normal operating conditions but may occur such as vibration or overheating.

Examples

• disposition to leak, disposition to overheat, disposition to vibrate

Synonyms

• failure mode

Formal Axioms

First-Order Logic Definition

UndesirableDisposition(x) ↔ DispositionToFail(x) ∨ DispositionToExhibitUndesirableBehavior(x)

Description Logic

constr:UndesireableDisposition ≡ constr:DispositionToExhibitUndesirableBehavior ⊔ constr:DispositionToFail

constr:UndesireableDisposition ⊑ bfo:disposition

EquivalentTo: constr:DispositionToExhibitUndesirableBehavior or constr:DispositionToFail

SubClassOf: bfo:disposition