loading...| Preferred Name |
Failure |
| Definitions |
With this definition we try to capture the common concept of failure present in the literature: the loss of the ability to perform a function. We also stipulate, by definition, that failures cause faults. For example, if a wire, whose function is to carry electricity, is gnawed by a rat, the wire fails when it breaks and ceases to be able to conduct electricity. |
| ID |
https://www.w3id.org/malfo/Failure |
| comment |
With this definition we try to capture the common concept of failure present in the literature: the loss of the ability to perform a function. We also stipulate, by definition, that failures cause faults. For example, if a wire, whose function is to carry electricity, is gnawed by a rat, the wire fails when it breaks and ceases to be able to conduct electricity. |
| example |
the rupture of an electric wire |
| firstOrderLogicDefinition |
Failure(x) ↔ Malfunction(x) ∧ Event(x) ∧ ∃y(Fault(y) ∧ achieves(x, y)) |
| label |
Failure |
| naturalLanguageDefinition |
the loss of the ability to perform a function, which leads to a fault |
| prefixIRI |
malfo:Failure |
| prefLabel |
Failure |
| semiFormalNaturalLanguageDefinition |
x is a failure means that x is a malfunction and an event that achieves some fault. |
| disjointWith | |
| subClassOf |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |
| Mapping To | Ontology | Relations | Source | Type | Actions |
|---|---|---|---|---|---|
| https://gitlab.com/kupferdigital/ontologies/mechanical-testing-ontology/Failure | https://data.industryportal.enit.fr/ontologies/MTO | LOOM | Inter-portal | ||
| http://www.grace-ontology.com#Failure | https://data.industryportal.enit.fr/ontologies/GRACE | LOOM | Inter-portal | ||
| http://www.semanticweb.org/karray/ontologies/2016/0/IMAMO#Failure | https://data.industryportal.enit.fr/ontologies/IMAMO | LOOM | Inter-portal | ||
| https://gitlab.com/kupferdigital/process-graphs/lcf-test/Failure | https://data.industryportal.enit.fr/ontologies/FTO | LOOM | Inter-portal |