failed state

IRI: https://spec.industrialontologies.org/ontology/maintenance/Maintenance/FailedState

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

SubClass Of: maintenance state

Class Hierarchy

owl:Thing › bfo:BFO_0000015 › material state › maintenance state › failed state

Examples

• is broken in two, is burst, is failing to turn on

Description Logic

:FailedState](FailedState.html) ⊑ [:MaintenanceState

_:FailedState ⊑ ∃ bfo:None .⊥

:FailedState](FailedState.html) ⊑ ∃ bfo:None .[:MaintainableMaterialItem

:FailedState](FailedState.html) ⊑ ∃ _:initiates⁻ .[:FailureEvent

:FailedState](FailedState.html) ⊑ ∃ bfo:None .([:DegradedState ⊔ _:OperatingState)

:FailedState](FailedState.html) ⊓ [:DegradedState ⊑ ⊥

:FailedState](FailedState.html) ⊓ [:OperatingState ⊑ ⊥

SubClassOf: _:MaintenanceState

SubClassOf: bfo:None some owl:Nothing

SubClassOf: bfo:None some _:MaintainableMaterialItem

SubClassOf: inverse _:initiates some _:FailureEvent

SubClassOf: bfo:None some (:DegradedState](DegradedState.html) or [:OperatingState)

:FailedState](FailedState.html) DisjointWith: ([:DegradedState, _:OperatingState)

:FailedState](FailedState.html) DisjointWith: [:OperatingState