Saved Snapshots
#1924
2026-09-08 17:53:12
semiformal_fol_axiom_fix
#1727
2026-09-08 15:58:52
add_generation_path_backfill
#1440
2026-09-08 12:26:49
backfill_source_tier
#1083
2026-08-07 16:45:05
odr022_canonical_names
#928
2026-07-23 20:04:35
genus_normalization_iof_dbwide
#511
2026-06-26 01:31:45
mark_exported
#178
2026-06-25 01:50:53
manual_validation
Snapshot #1924 — 2026-09-08 17:53:12
semiformal_fol_axiom_fix
← Back to current
Step 1 — Identity-Giving Function
Function class: DrillingFluidConductionFunction
Process class: DrillingFluidConductionProcess
Step 2 — Genus Proximus
Genus: Pipe
BFO root: MaterialArtifact
Step 3 — Differentia Specifica
Axiom expression:
∃bearerOf.DrillingFluidConductionFunction ⊓ ∃hasCharacteristicShape.EnlargedDiameter ⊓ ∃hasLocation.WellheadAssembly
Step 4 — Necessary Parts
- SideOutlet
Step 5 — Process Participation Signature
Inputs: {'type': 'DrillingFluid', 'count': 1, 'constraints': 'returning from wellbore'}, {'type': 'DrillingTool', 'count': 1, 'constraints': 'entering wellbore'}
Outputs: {'type': 'DrillingFluid', 'count': 1, 'constraints': 'directed to flow line'}, {'type': 'DrillingTool', 'count': 1, 'constraints': 'guided into wellbore'}
Transformation: spatial guidance and flow direction - no material transformation
Status: exported
Axiom mode: equivalent
Updated: 2026-09-08 12:26:49
