Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
choke control valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: both
This concept combines both functional and constructive classification axes. The functional parent is 'control valve' (process-controlled flow function with actuator response to external signals), and the constructive differentia is the choke mechanism (pressure reduction through flow restriction geometry). A choke control valve is simultaneously a control valve (functional) and a choke valve (constructive).
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
ProcessControlledFlowFunction → ProcessControlledFlowProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent PlannedProcess
LLM rationale:
The identity-giving function is process-controlled flow, inherited from control valve. This function involves responding to external control signals to modulate flow, distinguishing it from manual or self-actuated valves. The choke mechanism provides the specific implementation for this controlled flow function.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
ControlValve · Assembly
▼
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:
Following the parent candidates and the ISO 15926 definition stating this is both a CONTROL VALVE and a CHOKE VALVE, the most specific superclass is 'control valve' which is already enriched in our ontology. While it's also a choke valve constructively, control valve is the more specific functional classification that provides the actuator and external signal response capabilities.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.ChokeGeometry
▼
Conditions that distinguish
Choke Control Valve
from sibling classes under genus
ControlValve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the choke geometry component that distinguishes this from other control valve subtypes. The control valve genus already provides the actuator, process control function, and signal response capabilities, so the minimal additional condition is the specific choke mechanism for pressure reduction.
▸
Expert review
— accepted
4
Necessary Parts
✓ done
Actuator
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The choke geometry is the essential differentiating component, while the actuator is inherited from the control valve genus but still necessary for this specific type.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature combines choke valve pressure reduction with control valve modulation capabilities. Single input/output streams with pressure differential and controllable flow rate based on external signals.
▸
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 40 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Choke Control Valve as
bfo:Quality subclasses.
Each selected property →
:ChokeControlValveQuality ⊑ bfo:Quality, inheres in :ChokeControlValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Choke Control 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.