Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
valve seat
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The valve seat is defined by its specific physical configuration and structural role in the valve assembly - it is 'the part of a valve against which the closure member bears'. This is a structural/positional definition based on the physical interface between components, not a functional definition independent of implementation.
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
SealingFunction → SurfaceSealingProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
Both source definitions describe sealing, not flow control: SLB "that part of a valve against which the closure element affects a tight shutoff"; ISO 15926 "the part of a valve against which the closure member bears to provide shut-off". The seat provides the sealing surface; controlling flow is the function of the valve as a whole, which the seat is only a part of. Adopted from the merged-away `seat` entry (ODR-022 §15), which carried SealingFunction.
▸
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:
Valve seat is a valve component - a manufactured part within a valve assembly. It is not itself an Assembly (it doesn't have removable subcomponents), but rather a MaterialArtifact that serves as a structural component. No more specific parent exists in the enriched classes - 'valve component' as a class has not been enriched yet.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.SealingFunction ⊓ ∃partOf.Valve ⊓ ∃adjacentTo.ValveClosureMember ⊓ ∃bearerOf.SealingSurfaceQuality
▼
Conditions that distinguish
Valve Seat
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures the valve seat's unique structural role: it is the specific part that provides the seating interface for the closure member. This distinguishes it from other valve components that have different structural roles within the valve assembly. Differentia now names SealingFunction explicitly (ODR-022 §16): the function was changed from FlowControlFunction because both source definitions describe sealing, and the differentia had not been updated to match.
▸
Expert review
4
Necessary Parts
✓ done
None
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
Valve seats can be implemented in various ways - some are integral to the valve body, others are separate components, and some contain inserts. The definition focuses on the functional interface rather than consistent internal parts, so no universal component parts are required at this level.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The valve seat participates in flow regulation by providing the sealing interface. It receives contact force from the closure member and enables controlled fluid passage based on the sealing contact achieved.
▸
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 Seat.
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 SEAT — 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 seat?
- open Which COPI equipment classes require a valve seat as a necessary component? (candidates: ball control valve, ball valve, check valve, gate valve, plug valve and swing 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 394 · claude-sonnet-4-20250514
Created 2026-05-04 18:27
Updated 2026-09-08 12:26
