Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
check valve body
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
Identity is given by the physical configuration as the body housing specifically designed for a check valve mechanism. While check valves have a functional identity (BackflowPreventionFunction), the 'check valve body' is defined structurally as the enclosure/housing component that contains the check valve internals.
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
EnclosureFunction → EnclosureProcess ⊑ MaterialContainment
▼
COPI-Core operation
MaterialContainment via process parent MaterialContainment
LLM rationale:
As a valve body component, the check valve body's primary function is to enclose and house the check valve internals (disc, seat, spring, etc.) within a pressure-containing boundary. This is the generic enclosure function shared by all valve bodies.
▸
Expert review
2
Genus Proximus
✓ done
ValveBody · 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 source definition explicitly states 'A <CHECK VALVE BODY> is a <VALVE BODY> of a check valve'. ValveBody is the most specific appropriate superclass. ValveBody would be a MaterialArtifact (pressure-containing housing component) rather than Assembly as it is typically a single machined or cast component.
▸
Expert review
3
Differentia Specifica
✓ done
∃designedFor.CheckValve
▼
Conditions that distinguish
Check Valve Body
from sibling classes under genus
ValveBody.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific design accommodation for check valve internals. Check valve bodies have unique internal geometries to house swing discs, lift mechanisms, or wafer plates that operate automatically based on flow direction, distinguishing them from other valve body types.
▸
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:
No component terms are provided in the source standards for check valve body parts. The internal parts (disc, seat, spring, hinge pin) would be parts of the complete check valve assembly, not necessary parts of the valve body component itself. The valve body is typically a single cast or machined housing.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
As a passive structural component (valve body), it does not have process inputs/outputs like the complete valve would have. Its process signature is purely containment - providing the housing structure that enables the check valve mechanism to 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 Check 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)
CHECK 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 check valve body?
- open Is a check valve body a necessary component of every check 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 402 · claude-sonnet-4-20250514
Created 2026-05-04 18:27
Updated 2026-09-08 12:26
