Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
reciprocating pump
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The concept is primarily defined by its physical mechanism (reciprocating pistons/plungers within cylindrical space) rather than by a unique function. All definitions emphasize the reciprocating displacement mechanism as the distinguishing characteristic. This is a constructive subtype of the functional parent 'pump' which already bears the PumpingFunction.
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
PumpingFunction → PumpingProcess ⊑ MomentumTransfer
▼
COPI-Core operation
MomentumTransfer via process parent MomentumTransfer
LLM rationale:
Reciprocating pumps share the same identity-giving function as all pumps - they are designed to realize fluid pumping. The differentia is not functional but mechanical (reciprocating displacement mechanism). The PumpingFunction is already established in the enriched 'pump' class.
▸
Expert review
2
Genus Proximus
✓ done
Pump · 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:
All sources consistently identify reciprocating pump as a subtype of pump or positive displacement pump. The enriched 'pump' class exists in our ontology with PumpingFunction and Assembly genus. This is the most specific appropriate superclass, more specific than 'Assembly' or 'MaterialArtifact', and enables inheritance of the PumpingFunction.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.ReciprocatingDisplacementMechanism ⊓ ∃hasComponentPartAtAllTimes.PistonOrPlunger ⊓ ∃hasComponentPartAtAllTimes.CylindricalChamber
▼
Conditions that distinguish
Reciprocating Pump
from sibling classes under genus
Pump.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The defining characteristic across all sources is the reciprocating motion of pistons or plungers within cylindrical spaces. This mechanical configuration differentiates reciprocating pumps from all other pump types. The reciprocating mechanism, piston/plunger elements, and cylindrical chamber are the minimal necessary structural components that distinguish this pump type.
▸
Expert review
4
Necessary Parts
✓ done
Piston
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts constitute the essential mechanism for reciprocating positive displacement pumping. The reciprocating motion of pistons/plungers within cylinders, combined with intake/discharge valves, creates the positive displacement pumping action that defines this pump type.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Reciprocating pumps perform positive displacement pumping, taking fluid at suction conditions and delivering it at higher pressure through mechanical displacement. The transformation is purely mechanical energy addition without phase change or composition alteration.
▸
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 55 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Reciprocating Pump as
bfo:Quality subclasses.
Each selected property →
:ReciprocatingPumpQuality ⊑ bfo:Quality, inheres in :ReciprocatingPump
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Reciprocating Pump.
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.