Saved Snapshots
#1923
2026-09-08 17:53:12
semiformal_fol_axiom_fix
#1633
2026-09-08 15:58:52
add_generation_path_backfill
#1346
2026-09-08 12:26:48
backfill_source_tier
#999
2026-08-07 16:45:05
odr022_canonical_names
#751
2026-06-28 21:50:13
manual_validation
#467
2026-06-26 01:31:45
mark_exported
#291
2026-06-25 01:50:53
manual_validation
Snapshot #1923 — 2026-09-08 17:53:12
semiformal_fol_axiom_fix
← Back to current
Step 1 — Identity-Giving Function
Function class: FluidTransportFunction
Process class: FluidTransportProcess
Step 2 — Genus Proximus
Genus: EngineeredSystem
BFO root: EngineeredSystem
Step 3 — Differentia Specifica
Axiom expression:
∃bearerOf.FluidTransportFunction
Step 4 — Necessary Parts
- Pipe
Step 5 — Process Participation Signature
Inputs: {'type': 'PortionOfFluid', 'count': 1, 'constraints': 'liquid, gas, or finely divided solids'}
Outputs: {'type': 'PortionOfFluid', 'count': 1, 'constraints': 'same substance at different location'}
Transformation: spatial displacement - fluid transported from source to destination location
Status: exported
Axiom mode: equivalent
Updated: 2026-09-08 12:26:48
