disposition to fail

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

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

SubClass Of: undesireable disposition

Class Hierarchy

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

Definition

disposition of an item to undergo a failure process

Examples

• disposition to explode, disposition to fracture, disposition to sieze

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

As a disposition will come into its existance prior to its realization in a failure process necessary and sufficient conditions can not be created at this point due to a lack of patterns to express process types regardless of the time of their existence

Formal Axioms

First-Order Logic Axioms

DispositionToFail(x) → UndesireableDisposition(x) ∧ ∃y(FailureProcess(y) ∧ hasRealization(x,y))

Semi-Formal Natural Language Axioms

if x is a ‘disposition to fail’ then x is a ‘undesireable disposition’ that ‘has realization’ some ‘failure process’

Description Logic

constr:DispositionToFail ⊑ constr:UndesireableDisposition

constr:DispositionToFail ⊑ ∃ bfo:has_realization .constr:FailureProcess

SubClassOf: constr:UndesireableDisposition

SubClassOf: bfo:has_realization some constr:FailureProcess