Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
diaphragm valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The concept is defined by its physical closure mechanism - a resilient diaphragm that is forced against a port. This is a structural differentia that distinguishes it from other valve types like ball valves (rotating ball), gate valves (sliding gate), or butterfly valves (rotating disc). The functional aspect (flow control) is inherited from the valve genus.
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
FlowControlFunction → FlowControlProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
As a valve type, diaphragm valves inherit the generic flow control function - they are designed to control fluid flow through a conduit. This function is shared with all valve types and is already established in the enriched valve class.
▸
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:
Both source definitions clearly identify diaphragm valve as a type of valve (ISO 15926 states it's a MEMBRANE VALVE, which is itself a valve type). The parent_candidates list includes 'manual valve' which is already enriched, but 'Valve' is the more appropriate direct genus as it's the broader valve category. Valve is already enriched in our ontology with FlowControlFunction.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.ResilientDiaphragm ⊓ ∃hasComponentPartAtAllTimes.Port ⊓ ∃participatesIn.DiaphragmClosureProcess
▼
Conditions that distinguish
Diaphragm Valve
from sibling classes under genus
Valve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures the unique structural mechanism: a resilient (flexible) diaphragm that serves as the closure member and is forced against a port. This is the minimal condition that distinguishes diaphragm valves from all other valve types, which use different closure mechanisms.
▸
Expert review
— accepted
4
Necessary Parts
✓ done
Port
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts constitute the essential mechanism that defines a diaphragm valve: the diaphragm itself, the port it seals against, and the actuating mechanism that forces them together.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Like other valves, diaphragm valves have a single inlet and outlet with the same fluid, but the flow rate is controlled by the position of the diaphragm against the port, creating variable restriction.
▸
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 18 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Diaphragm Valve as
bfo:Quality subclasses.
Each selected property →
:DiaphragmValveQuality ⊑ bfo:Quality, inheres in :DiaphragmValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Diaphragm 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 (2)
DIAPHRAGM VALVE — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
diaphragm valve — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (2)
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 use necessary-only (primitive) conditions?
- answered Is a diaphragm valve a type of manual valve or a type of control valve?
- open What is a diaphragm actuator?
- open Is a diaphragm actuator a necessary component of every diaphragm valve?
- open What is a port?
- open Is a port a necessary component of every diaphragm 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 163 · claude-sonnet-4-20250514
Created 2026-04-16 18:11
Updated 2026-09-08 12:26
