Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
emergency shut down valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Emergency shut down valves are defined primarily by their specialized safety function - they are designed to act in emergency situations to rapidly isolate flow for safety purposes. While they may have specific constructive features (actuators, fail-safe mechanisms), their identity is fundamentally given by their emergency response function rather than any particular physical configuration.
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
EmergencyShutDownFunction → EmergencyShutDownProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
The identity-giving function is emergency shut down - the designed capability to rapidly isolate or stop flow in emergency situations for safety purposes. This is a specialized safety function distinct from general flow control, as it involves emergency response protocols and safety system integration.
▸
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:
Both sources identify this as a valve type. The ISO 15926 definition states it is an 'ACTUATED VALVE' and CFIHOS defines it as 'a valve'. The genus 'Valve' is already enriched in our ontology with function FlowControlFunction. This is more specific than 'ACTUATED VALVE' which would be a subtype of Valve, so we use the broader but established genus.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.EmergencyShutDownFunction
▼
Conditions that distinguish
Emergency Shut Down Valve
from sibling classes under genus
Valve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the emergency shut down function, which is a specialized subtype of flow control function focused on safety-critical rapid isolation. This distinguishes it from other valve types that may control flow but not specifically for emergency response.
▸
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:
Emergency shut down valves require actuation capability for rapid response and fail-safe mechanisms for safety assurance, distinguishing them from manual valves or simple flow control devices.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Emergency shut down valves have the same basic flow signature as other valves but with the critical distinction that they can rapidly transition to complete flow isolation for safety purposes.
▸
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
0 of 19 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Emergency Shut Down Valve as
bfo:Quality subclasses.
Each selected property →
:EmergencyShutDownValveQuality ⊑ bfo:Quality, inheres in :EmergencyShutDownValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Emergency Shut Down 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 (2)
EMERGENCY SHUT DOWN VALVE — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
emergency shut down valve — TagClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (2)
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 are the necessary parts of an emergency shut-down 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 63 · claude-sonnet-4-20250514
Created 2026-04-13 23:41
Updated 2026-09-08 12:26
