Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
valve stem
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 structure as 'a rod or shaft which is transmitting motion from an operator to the closure member of a valve'. Identity is given by the mechanical configuration (rod/shaft geometry) and kinematic mechanism (motion transmission), not by a unique function. The function (force transmission) is generic and shared with many other mechanical 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
⚠ not anchored
ForceTransmissionFunction → ForceTransmissionProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The ISO 15926 definition identifies the valve stem as a 'TRANSMITTER(force)' that transmits motion from operator to closure member. This force/motion transmission function is the fundamental capacity the valve stem was designed to exercise, though it is a generic function shared with many mechanical transmission components.
▸
Expert review
2
Genus Proximus
✓ done
Assembly
▼
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:
No valve-specific component superclass exists in the already-enriched classes. While 'VALVE COMPONENT' appears in the source hierarchy, it is not yet enriched in our ontology. The valve stem is a manufactured assembly with physically connected parts (rod/shaft body plus threaded portions, sealing interfaces, etc.) that functions as a single causally unified mechanism. It falls under Assembly as a complex engineered artifact with removable subcomponents.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.ValveStemSeal ⊓ ∃participatesIn.ValveOperationProcess
▼
Conditions that distinguish
Valve Stem
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The valve stem seal is evidenced in the known component terms and represents the sealing interface that distinguishes valve stems from generic force transmission shafts. Participation in valve operation processes captures the specific application context that differentiates valve stems from other mechanical transmission components.
▸
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 stem seal is the only component explicitly grounded in the provided sources. While valve stems obviously require the rod/shaft body itself, no specific term for this component appears in the known component terms list, so it cannot be formally included.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The process signature reflects the valve stem's role as a mechanical transmission link. Input is motion/force from the valve actuator, output is the same motion/force delivered to the closure member. The transformation is purely mechanical transmission without energy conversion, matching the controlled vocabulary term.
▸
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 Stem.
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.