Snapshot #1928 — 2026-09-08 17:53:12
semiformal_fol_axiom_fix
← Back to current
Step 1 — Identity-Giving Function
Function class: EnergyDiffusionFunction
Process class: EnergyDiffusionProcess
Step 2 — Genus Proximus
Genus: Assembly
BFO root: Assembly
Step 3 — Differentia Specifica
Axiom expression:
∃bearerOf.EnergyDiffusionFunction
Step 4 — Necessary Parts
- DivergingChannel
Step 5 — Process Participation Signature
Inputs: {'type': 'PortionOfFluid', 'count': 1, 'constraints': 'high kinetic energy, low pressure'}
Outputs: {'type': 'PortionOfFluid', 'count': 1, 'constraints': 'low kinetic energy, high pressure'}
Transformation: kinetic energy converted to pressure energy through controlled fluid deceleration
Status: exported
Axiom mode: equivalent
Updated: 2026-09-08 12:26:49
