Saved Snapshots
#2025
2026-09-14 17:10:59
model_participant_skill
#1896
2026-09-08 15:58:52
add_generation_path_backfill
#1609
2026-09-08 12:26:49
backfill_source_tier
#1260
2026-08-13 17:34:23
odr022_exclude_homonym
#1256
2026-08-13 17:34:23
odr022_normalize_sources
#1220
2026-08-07 16:45:05
odr022_canonical_names
#827
2026-06-30 20:07:46
pt_fill
Snapshot #1220 — 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.LiveWellToolDeploymentFunction ⊓ ∃hasComponentPartAtAllTimes.PressureContainmentBody ⊓ ∃hasComponentPartAtAllTimes.WellheadConnection
Step 4 — Necessary Parts
- PressureContainmentBody
- WellheadConnection
- StuffingBox
Step 5 — Process Participation Signature
Inputs: {'type': 'DownholeToolString', 'count': 1, 'constraints': 'tool string to be introduced into pressurised wellbore'}, {'type': 'WellborePressure', 'count': 1, 'constraints': 'live well at operating pressure'}
Outputs: {'type': 'DownholeToolString', 'count': 1, 'constraints': 'tool string deployed inside wellbore below pressure-sealing valves'}
Transformation: pressure-equalisation and controlled introduction of downhole tools into a live well without venting well pressure
Status: proposed
Axiom mode: —
Updated: 2026-06-30 20:07:46
