IOFMAINT | Classes

)

http://www.w3.org/2002/07/owl#Class

FailureProcess

IRI

Preferred name FailureProcess

Type http://www.w3.org/2002/07/owl#Class

Status Active

Ontology IOFMAINT

Definition

FailureProcess(x) ↔ Process(x) ∧ ∃y(DispositionToFail(y) ∧ realizes(x,y)) every instance of 'failure process' is defined as exactly an instance of 'process' that 'realizes' some 'disposition to fail'

ID	https://spec.industrialontologies.org/ontology/construct/FailureProcess https://spec.industrialontologies.org/ontology/construct/FailureProcess https://dev.matportal.org/ontologies/IOFMAINT/FailureProcess
Preferred name	FailureProcess
Synonyms	functional failure
Definitions	FailureProcess(x) ↔ Process(x) ∧ ∃y(DispositionToFail(y) ∧ realizes(x,y)) every instance of 'failure process' is defined as exactly an instance of 'process' that 'realizes' some 'disposition to fail'

rdf:type	http://www.w3.org/2002/07/owl#Class Loading
rdfs:subClassOf	http://purl.obolibrary.org/obo/BFO_0000015 Loading
rdfs:isDefinedBy	https://spec.industrialontologies.org/ontology/maintenance/Maintenance/ Loading
skos:example	short circuiting process, deformation process, corrosion process
firstOrderLogicDefinition	FailureProcess(x) ↔ Process(x) ∧ ∃y(DispositionToFail(y) ∧ realizes(x,y))
isPrimitive	0
semiFormalNaturalLanguageDefinition	every instance of 'failure process' is defined as exactly an instance of 'process' that 'realizes' some 'disposition to fail'
synonym	functional failure

Add comment

Add proposal

Subject	Author	Type	Created
No notes to display

Industrial Ontology Foundry (IOF) Maintenance Reference Ontology (IOFMAINT)

FailureProcess

Page Assistant