failure event
IRI: https://spec.industrialontologies.org/ontology/construct/FailureEvent
Defined In: https://spec.industrialontologies.org/ontology/maintenance/Maintenance/
SubClass Of: event
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › event › failure event
Definition
event that causes an item to lose its ability to perform a required function
Semi-Formal Definition:
every instance of ‘failure event’ is defined as exactly an instance of ‘event’ e that ‘initiates’ some ‘failed state’ and that ‘has participant at all times’ some ‘maintainable material item’ that ‘has function’ some ‘primary function’ f that ‘has realization’ some ‘functioning process’ p1 that ‘precedes’ e and there is no ‘functioning process’ p2 such that p2 ‘realizes’ f and p1 ‘precedes’ p2 and p2 ‘precedes’ e
Explanatory Notes
the event can be the loss of the primary function or a combination of functions
Examples
- explosion, seizure, loss of power, loss of control
Synonyms
- failure
Formal Axioms
First-Order Logic Definition
FailureEvent(e) ↔ Event(e) ∧ ∃o(FailedState(o) ∧ initiates(e, o)) ∧ ∃i,f,p1(MaintainableMaterialItem(i) ∧ hasParticipantAtAllTimes(e, i) ∧ PrimaryFunction(f) ∧ hasFunction(i, f) ∧ FunctioningProcess(p1) ∧ realizes(p1, f) ∧ precedes(p1, e) ∧ ¬∃p2(FunctioningProcess(p2) ∧ realizes(p2,f) ∧ precedes(p1, p2) ∧ precedes(p2, e)))
Description Logic
SubClassOf: constr:Event
SubClassOf: constr:initiates some constr:FailedState