Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
positive displacement pump
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 operating principle (positive displacement mechanism - reciprocating or rotary displacement) rather than by a unique function. It shares the same PumpingFunction as other pump types but is distinguished by its displacement mechanism that provides fixed displacement volume per rotation/cycle.
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:
The identity-giving function is pumping - transporting liquid by adding mechanical energy. This is the same function shared by all pump types including centrifugal pumps already in the ontology.
▸
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:
Pump is the most specific appropriate superclass from the parent_candidates and is already enriched in our ontology. It provides the PumpingFunction and Assembly structure that positive displacement pumps inherit. More specific than the generic Assembly but captures the essential pumping identity.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.DisplacementMechanism ⊓ ∃participatesIn.PositiveDisplacementProcess
▼
Conditions that distinguish
Positive Displacement Pump
from sibling classes under genus
Pump.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia focuses on the displacement mechanism and positive displacement operating principle which creates fixed displacement volume per cycle, distinguishing it from dynamic pumps like centrifugal pumps.
▸
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 displacement mechanism is the key differentiating part that enables the positive displacement operating principle. The pump casing is inherited but still necessary.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfLiquid → PortionOfLiquid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Same basic pumping signature as other pumps but with the specific transformation mechanism being positive displacement rather than dynamic principles.
▸
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 Positive Displacement 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.
Source Definitions (2)
POSITIVE DISPLACEMENT PUMP — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
positive displacement pump
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (2)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
standard · verbatim
Quote hidden — sign in to view.
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 111 · claude-sonnet-4-20250514
Created 2026-04-15 19:16
Updated 2026-09-08 12:26
