Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
safety relief valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The ISO 15926 definition states this is both a SAFETY VALVE and a RELIEF VALVE, indicating the identity is given by the dual safety and relief functions it performs, not by any specific physical mechanism or construction.
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
SafetyReliefFunction → SafetyReliefProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent PlannedProcess
LLM rationale:
The identity-giving function combines both safety valve function (protection against overpressure) and relief valve function (pressure relief). This dual function distinguishes it from valves that provide only one of these capabilities.
▸
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 relief valve is a specialized type of valve. While the ISO definition mentions it inherits from both SAFETY VALVE and RELIEF VALVE, the more fundamental genus is Valve since both safety valves and relief valves are valve subtypes. Valve is already enriched in our ontology.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.SafetyReliefFunction
▼
Conditions that distinguish
Safety Relief 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 captures the dual nature specified in the ISO definition - it must perform both safety and relief functions, distinguishing it from valves that perform only one of these functions.
▸
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 relief valves require specialized internal mechanisms to perform dual functions of safety protection and pressure relief, beyond the basic valve components.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Takes pressurized fluid from a system and discharges it when pressure exceeds safe limits, combining both emergency safety function and pressure relief function.
▸
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 Relief 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 (1)
SAFETY RELIEF VALVE — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (1)
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 bear a SafetyFunction as identity-giving function?
- answered What distinguishes a safety valve from a safety relief valve?
- open What is a valve body?
- open Which COPI equipment classes require a valve body as a necessary component? (candidates: blow down valve, butterfly control valve, double block and bleed valve, safety relief valve, self-operating valve and 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 66 · claude-sonnet-4-20250514
Created 2026-04-13 23:41
Updated 2026-09-08 12:26
