Saved Snapshots
#1926
2026-09-08 17:53:12
semiformal_fol_axiom_fix
#1733
2026-09-08 15:58:52
add_generation_path_backfill
#1446
2026-09-08 12:26:49
backfill_source_tier
#1089
2026-08-07 16:45:05
odr022_canonical_names
#852
2026-07-12T15:00:33
odr020_migration
#516
2026-06-26 01:31:45
mark_exported
#347
2026-06-25 01:50:53
manual_validation
Snapshot #1089 — 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:
∃bearerOf.WirelineLoggingFunction ⊓ ∃participatesIn.WellboreDeploymentProcess
Step 4 — Necessary Parts
- BraidedConductor
Step 5 — Process Participation Signature
Inputs: {'type': 'ElectricalSignal', 'count': 1, 'constraints': 'downhole sensor data'}, {'type': 'DownholeToolAssembly', 'count': 1, 'constraints': 'logging or intervention tools'}
Outputs: {'type': 'ElectricalSignal', 'count': 1, 'constraints': 'surface-transmitted data'}
Transformation: electromechanical signal transmission and mechanical force application for tool conveyance
Status: exported
Axiom mode: —
Updated: 2026-07-12T15:00:33