Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
down hole safety valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined by its combination of safety function (pressure relief/protection) and its specific deployment location (subsurface). The 'subsurface control/check operation' represents a locational specialization of the safety function rather than a distinct structural 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
SubsurfaceSafetyFunction → SubsurfaceSafetyProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent SafetyReliefProcess
LLM rationale:
The identity-giving function is the safety relief function specialized for subsurface deployment. This combines the core safety valve function (pressure relief/protection) with the specific operational context (downhole/subsurface conditions). The existing SafetyReliefFunction from the enriched safety valve class serves as the parent.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
SafetyValve · 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:
ISO 15926 explicitly states this is a subtype of SAFETY VALVE, which is already enriched in our ontology. The genus 'safety valve' is the most specific appropriate superclass, inheriting the SafetyReliefFunction and basic valve structure. This follows the Aristotelian principle of choosing the most specific existing superclass rather than collapsing to a broader category like Valve or Assembly.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.SubsurfaceDeploymentRole ⊓ ∃participatesIn.SubsurfaceOperationProcess
▼
Conditions that distinguish
Down Hole Safety Valve
from sibling classes under genus
SafetyValve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the subsurface deployment role and participation in subsurface operations. This is locational/contextual specialization rather than functional or structural - the core safety function remains the same but is adapted for downhole conditions including different pressure regimes, temperature conditions, and operational constraints.
▸
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:
The necessary parts are specializations of standard safety valve components adapted for subsurface deployment. The valve body must handle downhole conditions, and the actuation mechanism must function in the subsurface environment where traditional surface-based control may not be available.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Same basic signature as surface safety valves but operating in the specialized environment of a wellbore or subsurface installation with different pressure, temperature, and accessibility constraints.
▸
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 Down Hole Safety Valve as
bfo:Quality subclasses.
Each selected property →
:DownHoleSafetyValveQuality ⊑ bfo:Quality, inheres in :DownHoleSafetyValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Down Hole 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 (2)
DOWN HOLE SAFETY VALVE — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
down hole safety valve — TagAndEquipmentClass
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 bear a SafetyFunction as identity-giving function?
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 162 · claude-sonnet-4-20250514
Created 2026-04-16 18:11
Updated 2026-09-08 12:26
