Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
ball 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 - responds to control signals) and constructive (ball valve - uses rotating ball mechanism) classification axes. The functional parent is control valve with ProcessControlledFlowFunction, while the constructive differentia is the ball closure mechanism.
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 regulation, inherited from control valve. This function distinguishes control valves from manual valves by requiring responsiveness to external control signals for automated process control.
▸
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:
ControlValve is the most specific appropriate superclass, already enriched in our ontology. Ball control valve is a subtype that adds the constructive constraint of ball closure mechanism to the functional control valve category. BallValve would be too narrow as genus since it lacks the control function identity.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.BallClosure ⊓ ∃hasComponentPartAtAllTimes.RotaryActuator
▼
Conditions that distinguish
Ball 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 captures the constructive constraint: ball closure mechanism (spherical element) with rotary actuation. The control function is inherited from ControlValve genus. Both BallClosure and RotaryActuator are necessary to distinguish from other control valve subtypes.
▸
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:
These parts are universal across all ball control valve instances and constitute the essential structural elements for the ball closure mechanism with automated control capability.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Single inlet/outlet signature with flow modulation transformation. Ball rotation varies the flow area to achieve precise flow control in response to control 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 Ball Control Valve as
bfo:Quality subclasses.
Each selected property →
:BallControlValveQuality ⊑ bfo:Quality, inheres in :BallControlValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Ball 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.