Saved Snapshots
#2114
2026-10-03 21:14:07
copyright_review
#1651
2026-09-08 15:58:52
add_generation_path_backfill
#1364
2026-09-08 12:26:48
backfill_source_tier
#1247
2026-08-13 12:46:39
odr022_equivalent_subsumption
#795
2026-06-28 22:33:54
manual_validation
#473
2026-06-26 01:31:45
mark_exported
#236
2026-06-25 01:50:53
manual_validation
Snapshot #2114 — 2026-10-03 21:14:07
copyright_review
← Back to current
Step 1 — Identity-Giving Function
Function class: ConnectionFunction
Process class: ConnectionProcess
Step 2 — Genus Proximus
Genus: Coupling
BFO root: MaterialArtifact
Step 3 — Differentia Specifica
Axiom expression:
∃hasCharacteristic.ProjectingFlatRimGeometry ⊓ ∃bearerOf.ConnectionFunction
Step 4 — Necessary Parts
Step 5 — Process Participation Signature
Inputs: {'type': 'MaterialArtifact', 'count': 2, 'constraints': 'components to be connected'}
Outputs: {'type': 'MaterialArtifact', 'count': 1, 'constraints': 'mechanically connected assembly'}
Transformation: mechanical joining of components through bolted connection
Status: exported
Axiom mode: necessary
Updated: 2026-09-08 12:26:48
