Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
valve closure member
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The valve closure member is defined by its physical configuration and mechanical role within a valve assembly - 'the part of a valve which is positioned in the flow stream' - rather than by a unique designed function. Its identity comes from being a specific structural component with a particular geometric and kinematic role in flow control mechanism.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
Axiomatization steps
1
Identity-Giving Function
✓ done
FlowControlFunction → FlowControlProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
The valve closure member inherits the generic FlowControlFunction from its parent valve assembly, as it is the component that physically realizes the flow control by being positioned in the flow stream. This is not a unique function distinguishing it from other valve components, but rather the shared function of all flow control elements.
▸
Expert review
2
Genus Proximus
✓ done
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:
The valve closure member is a designed component part of a valve assembly. It is not itself an Assembly (it has no removable subcomponents), nor is it an aggregate system. It is a causally unified material artifact designed for a specific function within the valve mechanism. No more specific genus like 'ValveComponent' is available in the enriched classes, so MaterialArtifact is the most appropriate parent.
▸
Expert review
3
Differentia Specifica
✓ done
∃isComponentPartOf.Valve ⊓ ∃participatesIn.FlowControlProcess ⊓ ∃hasQuality.PositionableInFlowStream
▼
Conditions that distinguish
Valve Closure Member
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The key differentia is the closure member's role as the component that is positioned within the flow stream to directly effect flow control. This distinguishes it from other valve components that support this function but do not directly interact with the flowing fluid.
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The valve closure member is defined as a single component part of a valve. The source definition treats it as the basic flow-interfacing element without specifying mandatory subcomponents. The various subtypes (ball, gate, butterfly, etc.) indicate different monolithic geometries rather than assemblies with required parts. No component terms are provided in the known component list, and the ISO definition presents it as an elemental component.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The closure member acts on a single fluid stream, modifying its flow characteristics through mechanical positioning. The transformation encompasses the full range of flow control actions (permit/obstruct/divert/regulate) mentioned in the definition.
▸
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 Valve Closure Member.
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)
VALVE CLOSURE MEMBER — ClassOfFunctionalObject
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
- open What is a valve closure member?
- open Is valve closure member the correct genus for check valve in the COPI ontology?
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 423 · claude-sonnet-4-20250514
Created 2026-05-04 18:27
Updated 2026-09-08 12:26
