Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
choke valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Choke valve is defined primarily by its function to reduce pressure through flow restriction and energy dissipation, regardless of the specific internal mechanism (cage, needle, sleeve, etc.). The various subtypes show different constructive approaches (cage, needle, sleeve, disc) to achieve the same pressure reduction function.
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
PressureReductionFunction → PressureReductionProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
The identity-giving function is pressure reduction through controlled flow restriction and energy dissipation. This is distinct from general flow control (which can maintain, increase, or decrease flow/pressure) - choke valves are specifically designed to reduce pressure from inlet to outlet through flow impingement and energy dissipation mechanisms.
▸
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:
All sources consistently identify choke valve as a subtype of valve. The parent_candidates list includes 'VALVE' from iso15926, confirming this genus choice. Valve is already enriched in our ontology with FlowControlFunction and MaterialArtifact as its BFO root, making it the most specific appropriate superclass.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.PressureReductionFunction
▼
Conditions that distinguish
Choke 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 pressure reduction function, which is a specialized subtype of the general flow control function inherited from Valve. This captures the essential characteristic that distinguishes choke valves from all other valve types - their specific design purpose to reduce pressure through flow restriction and energy dissipation.
▸
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 flow restriction element is the only universal necessary part beyond what is inherited from Valve. The specific type of restriction element (cage, needle, sleeve) varies by subtype and should be modeled at the subtype level.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Choke valves take a single high-pressure fluid stream and output the same fluid at reduced pressure. The transformation is purely pressure reduction through mechanical energy dissipation, maintaining the same fluid composition and typically the same phase.
▸
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 21 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Choke Valve as
bfo:Quality subclasses.
Each selected property →
:ChokeValveQuality ⊑ bfo:Quality, inheres in :ChokeValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Choke 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)
CHOKE VALVE — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
choke valve — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Choke Valve — Class
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 use necessary-only (primitive) conditions?
- answered What distinguishes a choke valve from a generic control 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 13 · claude-sonnet-4-20250514
Created 2026-04-09 17:47
Updated 2026-09-08 12:26
