Saved Snapshots
#1983
2026-09-10 14:37:28
skill_session_step2b
#1663
2026-09-08 15:58:52
add_generation_path_backfill
#1376
2026-09-08 12:26:48
backfill_source_tier
#1028
2026-08-07 16:45:05
odr022_canonical_names
#803
2026-06-28 22:37:04
manual_validation
#452
2026-06-25 17:35:20
manual_validation_bugfix_unsat
#373
2026-06-25 03:36:36
mark_exported
Snapshot #1983 — 2026-09-10 14:37:28
skill_session_step2b
← Back to current
Step 1 — Identity-Giving Function
Function class: ContainmentFunction
Process class: ContainmentProcess
Step 2 — Genus Proximus
Genus: Assembly
BFO root: Assembly
Step 3 — Differentia Specifica
Axiom expression:
∃bearerOf.ContainmentFunction
Step 4 — Necessary Parts
Step 5 — Process Participation Signature
Inputs: {'type': 'PortionOfFluid', 'count': '0-many', 'constraints': 'various phases and compositions'}
Outputs: {'type': 'PortionOfFluid', 'count': '0-many', 'constraints': 'potentially modified by processing'}
Transformation: containment with optional processing (heating, cooling, reaction, separation)
Status: exported
Axiom mode: equivalent
Updated: 2026-09-08 12:26:48
