Saved Snapshots
Snapshot #1122 — 2026-08-07 16:45:05
odr022_canonical_names
← Back to current
Step 1 — Identity-Giving Function
Function class: —
Process class: —
Step 2 — Genus Proximus
Genus: —
BFO root: —
Step 3 — Differentia Specifica
Axiom expression:
∃hasComponentPartAtAllTimes.TubeBundle ⊓ ∃hasComponentPartAtAllTimes.Shell ⊓ ∃spatiallyContains.(TubeBundle ⊓ ∃spatiallyContainedIn.Shell)
Step 4 — Necessary Parts
- Shell
- TubeBundle
Step 5 — Process Participation Signature
Inputs: {'type': 'FluidPortion', 'count': 2, 'constraints': 'one on tube side, one on shell side, different temperatures'}
Outputs: {'type': 'FluidPortion', 'count': 2, 'constraints': 'tube side and shell side fluids with modified temperatures'}
Transformation: thermal energy exchange between two fluid streams without mixing
Status: exported
Axiom mode: —
Updated: 2026-06-28 23:18:55
