Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
safety valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The definitions consistently emphasize the primary function of pressure relief and safety protection ('fast relief of excessive pressure', 'pressure relief device', 'emergency closure'). While there are constructive subtypes (spring-loaded, globe, angle), the core identity is given by the safety relief function, not the physical mechanism.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
— accepted
Axiomatization steps
1
Identity-Giving Function
✓ done
SafetyVentingFunction → SafetyReliefProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent PlannedProcess
LLM rationale:
The identity-giving function is safety relief - automatically releasing excess pressure to protect equipment and personnel from dangerous overpressure conditions. This function is already identified in the enriched classes list as the defining function for safety relief valve, confirming this is the established function for safety-oriented pressure relief.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
Valve · MaterialArtifact
▼
Genus (genus proximum)
Most specific superclass — may be a domain class like "Valve" or an IOF-Core root.
BFO/IOF-Core Root
bfo:Object branch
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
Safety valve is clearly a subtype of Valve, which is already enriched in the ontology with function FlowControlFunction and genus MaterialArtifact. The parent candidates include 'PRESSURE RELIEF DEVICE' but this is a functional category that cuts across multiple valve types. Valve is the most specific structural superclass that provides the valve body, closure mechanism, and basic flow control infrastructure that safety valves inherit.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.SafetyReliefFunction
▼
Conditions that distinguish
Safety Valve
from sibling classes under genus
Valve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The SafetyReliefFunction is the minimal differentiating condition that distinguishes safety valves from other valve types under the same genus. This function specializes the general FlowControlFunction inherited from Valve to focus specifically on emergency pressure relief scenarios.
▸
Expert review
— accepted
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
Safety valves inherit basic valve parts (body, closure mechanism) from the Valve genus. The distinguishing parts are those that enable automatic pressure-responsive operation for safety protection.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Safety valves take high-pressure fluid input and rapidly discharge it to reduce system pressure below dangerous levels. The transformation is specifically pressure reduction for emergency protection, distinguishing it from gradual pressure control or process regulation.
▸
Expert review
More
Alternative labels
none
▼
Synonyms / alternative labels (comma-separated) — skos:altLabel
Language auto-detected on export (PT if the label contains accents, EN otherwise).
Properties as BFO qualities
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Safety Valve.
Write the restriction block in Turtle syntax (without the leading
rdfs:subClassOf).
Example: [ owl:onProperty :hasPart ; owl:someValuesFrom :Wellhead ]
Cross-standard divergences
none detected yet
▼
Click "Detect divergences" to analyse cross-standard disagreements for this cluster.
Source Definitions (3)
SAFETY VALVE — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
safety valve
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Safety valve
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (3)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
Linked competency questions
- answered What are all the subclasses of Valve recognised in COPI?
- answered Which equipment classes in COPI are defined with equivalent (sufficient + necessary) conditions?
- answered Which equipment classes bear a SafetyFunction as identity-giving function?
- answered What distinguishes a safety valve from a safety relief valve?
- answered What distinguishes a safety valve from a relief valve?
OWL/Turtle preview
Download .ttl
Numeric
COPI_* IRIs from copi-iri-map.tsv, with the readable name as a trailing comment. Names not yet in the map stay readable.
Loading...
ID 106 · claude-sonnet-4-20250514
Created 2026-04-15 19:16
Updated 2026-09-08 12:26
