failure process

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

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

SubClass Of: bfo:process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › failure process

Definition

process that changes some quality of an item causing the item to become degraded or failed

Semi-Formal Definition:

every instance of ‘failure process’ is defined as exactly an instance of ‘process’ that ‘realizes’ some ‘disposition to fail’

Examples

• short circuiting process, deformation process, corrosion process

Synonyms

• functional failure

Formal Axioms

First-Order Logic Definition

FailureProcess(x) ↔ Process(x) ∧ ∃y(DispositionToFail(y) ∧ realizes(x,y))

Description Logic

constr:FailureProcess ≡ bfo:process ⊓ ∃ bfo:realizes .constr:DispositionToFail

constr:FailureProcess ⊑ bfo:process

EquivalentTo: bfo:process and bfo:realizes some constr:DispositionToFail

SubClassOf: bfo:process