Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
butterfly 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 identity (control valve - ProcessControlledFlowFunction) and constructive identity (butterfly valve - rotating disc closure mechanism). It is a constructive subtype of the functional parent ControlValve.
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 ProcessControlledFlowFunction (already established for control valve in our ontology). This function involves modulating fluid flow in response to external control signals, which is what distinguishes control valves from manual valves or other valve types.
▸
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 and ISO15926 definition, this is both a CONTROL VALVE and a BUTTERFLY VALVE. The most specific common genus is Valve. Both parent types (control valve and butterfly valve) are already enriched in our ontology as subtypes of Valve, which is enriched as a MaterialArtifact with FlowControlFunction.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.RotatingDisc ⊓ ∃bearerOf.ProcessControlledFlowFunction ⊓ ∃hasComponentPartAtAllTimes.Actuator
▼
Conditions that distinguish
Butterfly 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 combines the constructive aspect (rotating disc mechanism from butterfly valve) with the functional aspect (process-controlled flow from control valve) plus the actuator component that enables automated operation. This is minimal and distinguishing.
▸
Expert review
— accepted
4
Necessary Parts
✓ done
Actuator
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
Parts combine the essential butterfly mechanism (rotating disc and shaft) with control valve requirements (actuator) in a standard valve body.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Single input/output flow path with variable restriction based on disc position. The actuator responds to control signals to position the disc for desired flow characteristics.
▸
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 Butterfly Control Valve as
bfo:Quality subclasses.
Each selected property →
:ButterflyControlValveQuality ⊑ bfo:Quality, inheres in :ButterflyControlValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Butterfly 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.