Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
control valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Control valve identity is grounded in its designed function to regulate/modulate fluid flow in response to control signals. The many constructive subtypes (ball control valve, butterfly control valve, globe control valve) show that the same functional identity can be realized through different physical mechanisms.
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 to modify/regulate fluid flow rate in response to control signals. This distinguishes control valves from other valve types that may open/close but lack the modulation capability for process control.
▸
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:
From the parent_candidates, VALVE is the most specific appropriate superclass. All definitions consistently show control valve as a subtype of valve with additional control capabilities. FINAL CONTROL FUNCTION is too narrow and functional rather than material. Valve represents the physical artifact that provides the structural foundation for flow control.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.Actuator
▼
Conditions that distinguish
Control Valve
from sibling classes under genus
Valve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
▸
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:
Control valves universally require an actuator for automated positioning and a flow control element for physical flow modulation. The specific type of control element varies by constructive subtype but some form is always present.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid + ControlSignal → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
▸
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 Control Valve as
bfo:Quality subclasses.
Each selected property →
:ControlValveQuality ⊑ bfo:Quality, inheres in :ControlValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on 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.
Source Definitions (6)
CONTROL VALVE — ClassOfFunctionalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
control valve — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
control valve
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
control valve — ISA Definition
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Control valve
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Control Valve — Class
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (58)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
Linked competency questions
- answered What are all the subclasses of Valve recognised in COPI?
- answered Which equipment classes in COPI have iof:Assembly as their BFO genus root?
- answered Which equipment classes in COPI are defined with equivalent (sufficient + necessary) conditions?
- answered Which equipment classes in COPI bear a FluidFlowControlFunction as identity-giving function?
- answered What is the identity-giving function of a control valve?
- answered What distinguishes an on-off control valve from a proportional control valve?
- answered Can a check valve simultaneously be a control valve?
- answered What distinguishes a choke valve from a generic control valve?
- answered What distinguishes a self-operating valve from an actuated control valve?
- answered Is a diaphragm valve a type of manual valve or a type of 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 1 · claude-sonnet-4-20250514
Created 2026-04-08 12:45
Updated 2026-09-08 12:26
Last edited by testuser · 2026-06-26 18:35
