Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
piston check valve
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
This concept is defined by its specific physical mechanism (piston-type closure member) rather than by a unique function. It performs the same backflow prevention function as other check valves but uses a distinctive piston mechanism that moves along the flow axis, distinguishing it from swing check valves or ball check valves.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
— accepted
Axiomatization steps
1
Identity-Giving Function
✓ done
BackflowPreventionFunction → BackflowPreventionProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
Like all check valves, piston check valves are designed to prevent backflow. This function is already established in the enriched check valve class and should be reused rather than creating a new function type.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
CheckValve · 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:
All three source definitions explicitly state this is a type of check valve. The parent_candidates include 'check valve' which is already enriched in our ontology with BackflowPreventionFunction. This is more specific than the also-mentioned 'LIFT CHECK VALVE' and provides the correct functional inheritance.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.PistonClosure
▼
Conditions that distinguish
Piston Check Valve
from sibling classes under genus
CheckValve.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The defining characteristic across all sources is the 'piston type closure member' that operates under gravity or spring loading. This structural differentia distinguishes it from other check valve mechanisms while inheriting the backflow prevention function from the genus.
▸
Expert review
— accepted
4
Necessary Parts
✓ done
Piston
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The piston closure member and its guide system are necessary structural components for this valve type. Other valve parts (body, seat, bonnet) are inherited from the genus.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Identical to check valve signature - allows forward flow, prevents backflow based on pressure differential across the valve
▸
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
0 of 15 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Piston Check Valve as
bfo:Quality subclasses.
Each selected property →
:PistonCheckValveQuality ⊑ bfo:Quality, inheres in :PistonCheckValve
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Piston Check Valve.
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 (3)
PISTON CHECK VALVE — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
piston check valve — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Piston Check Valve — Class
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (3)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
Linked competency questions
- answered What is the identity-giving function of a 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 159 · claude-sonnet-4-20250514
Created 2026-04-16 18:11
Updated 2026-09-09 10:39
