Saved Snapshots
#2086
2026-09-24 18:22:26
copyright_review
#1774
2026-09-08 15:58:52
add_generation_path_backfill
#1487
2026-09-08 12:26:49
backfill_source_tier
#1128
2026-08-07 16:45:05
odr022_canonical_names
#950
2026-07-23 20:04:35
genus_normalization_iof_dbwide
#542
2026-06-26 01:31:45
mark_exported
#306
2026-06-25 01:50:53
manual_validation
Snapshot #2086 — 2026-09-24 18:22:26
copyright_review
← Back to current
Step 1 — Identity-Giving Function
Function class: PumpingFunction
Process class: PumpingProcess
Step 2 — Genus Proximus
Genus: PositiveDisplacementPump
BFO root: Assembly
Step 3 — Differentia Specifica
Axiom expression:
∃hasComponentPartAtAllTimes.RotaryDisplacementMechanism ⊓ ∃lacksComponentPart.SeparateInletValve ⊓ ∃lacksComponentPart.SeparateOutletValve
Step 4 — Necessary Parts
- DriveShaft
- PumpChamber
Step 5 — Process Participation Signature
Inputs: {'type': 'PortionOfFluid', 'count': 1, 'constraints': 'liquid or gas, at suction pressure'}
Outputs: {'type': 'PortionOfFluid', 'count': 1, 'constraints': 'same fluid at higher pressure'}
Transformation: mechanical energy transfer to fluid through positive displacement
Status: exported
Axiom mode: necessary
Updated: 2026-09-08 12:26:49
