Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
on-off control 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 specific function - discrete two-position control (fully open/fully closed only), which is a specialized type of process-controlled flow function. The binary control characteristic is the identity-giving feature that distinguishes this from continuously variable control valves.
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
BinaryFlowControlFunction → BinaryFlowControlProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent ProcessControlledFlowProcess
LLM rationale:
The identity-giving function is the ability to provide binary (on/off) flow control in response to control signals, with only two defined positions. This is a specialization of ProcessControlledFlowFunction that restricts the control to discrete rather than continuous positioning.
▸
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:
From the parent candidates, 'control valve' is already enriched and is the most specific appropriate superclass. The concept is explicitly defined as 'a control valve' in the source definition. 'INSTRUMENTATION ITEM' is too broad and not equipment-specific.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.BinaryFlowControlFunction
▼
Conditions that distinguish
On-Off 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 binary control characteristic is the key differentia - while all control valves respond to control signals, on-off control valves are specifically restricted to two discrete positions rather than continuous positioning capability.
▸
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:
On-off control valves inherit standard valve parts (body, actuator) from the control valve genus. The key additional part is a binary positioning mechanism that restricts operation to only fully open or fully closed positions.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid + ControlSignal → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature reflects the binary nature of the control - unlike continuously variable control valves, the output flow state has only two possible conditions corresponding to the two valve positions.
▸
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
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on On-Off 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 (1)
ON-OFF CONTROL VALVE — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (1)
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 in COPI bear a FluidFlowControlFunction as identity-giving function?
- answered What distinguishes an on-off control valve from a proportional 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 240 · claude-sonnet-4-20250514
Created 2026-05-02 17:57
Updated 2026-09-08 12:26
