Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
valve body
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
A valve body is defined by its physical structure and function as a container that houses and supports the working components of a valve. While it enables the valve's overall function, its identity is primarily given by its role as the structural housing/container, not by a unique function type that distinguishes it from other valve components.
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
ContainmentFunction → ContainmentProcess ⊑ MaterialContainment
▼
COPI-Core operation
MaterialContainment via process parent MaterialContainment
LLM rationale:
The valve body's identity-giving function is containment - it serves as the main pressure-containing component that houses and supports the working components of the valve. This is more specific than just structural support but is the generic containment function already identified for vessel-type equipment.
▸
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:
From the ISO 15926 definition, valve body is explicitly classified as a VALVE COMPONENT. This is the most specific appropriate genus - more specific than general categories like Assembly or MaterialArtifact, but representing the domain-specific superclass for all valve parts. ValveComponent would be a subtype of MaterialArtifact since valve components are causally unified artifacts designed for specific functions within valve assemblies.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ContainmentFunction ⊓ ∃hasFunction.PressureContainmentFunction ⊓ ∃hasComponentPartAtAllTimes.WorkingComponentHousingStructure
▼
Conditions that distinguish
Valve Body
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The valve body is distinguished from other valve components by being the primary pressure-containing structure that houses all working components. It combines containment function with pressure resistance and structural support roles that other valve components depend on but do not provide themselves.
▸
Expert review
4
Necessary Parts
✓ done
None
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
While valve bodies must have inlet and outlet openings and internal flow passages, the source definition is focused on the overall containment function rather than specifying universal internal parts. The various end connection types (flanged, threaded, welding) are subtype-specific rather than universal parts.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The valve body provides the structural pathway for fluid flow while containing and supporting the working components (closure members, seats, etc.) that actually modify the flow. The body itself enables passage while the contained components perform the flow modification function.
▸
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 Body.
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 BODY — ClassOfInanimatePhysicalObject
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 body?
- open Which COPI equipment classes require a valve body as a necessary component? (candidates: blow down valve, butterfly control valve, double block and bleed valve, safety relief valve, self-operating valve and 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 390 · claude-sonnet-4-20250514
Created 2026-05-04 18:27
Updated 2026-09-08 12:26
