Snapshot #2099 — 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: Pump
BFO root: Assembly
Step 3 — Differentia Specifica
Axiom expression:
∃hasComponentPartAtAllTimes.GearMechanism ⊓ ∃hasComponentPartAtAllTimes.PumpCasing
Step 4 — Necessary Parts
- PumpCasing
Step 5 — Process Participation Signature
Inputs: {'type': 'PortionOfLiquid', 'count': 1, 'constraints': 'any liquid compatible with pump materials'}
Outputs: {'type': 'PortionOfLiquid', 'count': 1, 'constraints': 'same liquid at higher pressure'}
Transformation: mechanical energy added to liquid via gear meshing action
Status: exported
Axiom mode: necessary
Updated: 2026-09-08 12:26:49
