Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
gate control valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: both
This concept encodes both functional (control valve with ProcessControlledFlowFunction) and constructive (gate valve with gate/wedge closure mechanism) classification axes. It is a constructive subtype of a functional parent type.
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 the same as control valve - responding to control signals to modulate flow for process control purposes. This distinguishes it from manual valves or self-operating valves.
▸
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:
Both source definitions explicitly state this is a control valve (functional parent) that happens to use gate valve mechanism. The genus is the most specific superclass - control valve rather than valve, since it inherits the control function and actuation requirements from control valve.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.GateClosureMechanism
▼
Conditions that distinguish
Gate 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 purely constructive - the gate closure mechanism that slides perpendicular to flow. The control function is inherited from the genus, so only the structural differentia is needed.
▸
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:
Gate control valves inherit actuator and valve body from control valve genus, but require specific parts for the gate closure mechanism including the gate itself and stem for linear motion transmission.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Identical signature to control valve parent - single inlet/outlet with flow modulation transformation. The gate mechanism doesn't change the process signature, only the internal implementation.
▸
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 Gate Control Valve as
bfo:Quality subclasses.
Each selected property →
:GateControlValveQuality ⊑ bfo:Quality, inheres in :GateControlValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Gate 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.