Snapshot #1106 — 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.DrillBit ⊓ ∃locatedAt.BottomHoleLocation
Step 4 — Necessary Parts
- DrillBit
Step 5 — Process Participation Signature
Inputs: {'type': 'DrillingFluidPortion', 'count': 1, 'constraints': 'pressurized, carrying cuttings'}
Outputs: {'type': 'RockCuttings', 'count': 1, 'constraints': 'suspended in drilling fluid'}, {'type': 'Wellbore', 'count': 1, 'constraints': 'extended depth'}, {'type': 'LoggingData', 'count': 1, 'constraints': 'formation parameters'}
Transformation: mechanical energy applied to cut rock formation and create wellbore while gathering subsurface data
Status: exported
Axiom mode: —
Updated: 2026-07-12T15:00:33
