Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
well
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Wells are primarily defined by their function of obtaining, producing, storing, or injecting materials into/from the earth. The identity is given by the interaction with subsurface resources, regardless of the specific physical drilling configuration or completion design.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
Axiomatization steps
1
Identity-Giving Function
✓ done
⚠ not anchored
SubsurfaceResourceInteractionFunction → SubsurfaceResourceInteractionProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The identity-giving function encompasses the full scope of well operations: obtaining/producing resources from the earth, or storing/injecting materials into the earth. This is what distinguishes a well from other equipment - its designed purpose to interact with subsurface formations and resources.
▸
Expert review
2
Genus Proximus
✓ done
EngineeredSystem
▼
Genus (genus proximum)
Most specific superclass — may be a domain class like "Valve" or an IOF-Core root.
BFO/IOF-Core Root
bfo:Object branch
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
A well is fundamentally a collection of interacting components (wellbore, casing, completion equipment, surface facilities) that work together but lack a single causal boundary. The CFIHOS definition explicitly states 'collection of holes' and 'services related to production', indicating an aggregate system rather than a single unified object. Wells span from surface to subsurface with multiple distinct subsystems.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.SubsurfaceResourceInteractionFunction
▼
Conditions that distinguish
Well
from sibling classes under genus
EngineeredSystem.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The specific function of subsurface resource interaction combined with the physical requirement of a wellbore are the minimal conditions that distinguish wells from other engineered systems. The wellbore is the essential physical component that enables the subsurface interaction function.
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The wellbore is the only universal component - all other parts (casing, completion equipment, surface facilities) vary significantly by well type, purpose, and completion design. Used hasComponentPartAtSomeTime because wells may be temporarily without surface equipment during drilling or workover operations.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
MaterialEntity → MaterialEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Wells can operate in production mode (outputs), injection mode (inputs), or service mode (bidirectional). The signature is highly flexible as wells serve diverse purposes from exploration to disposal.
▸
Expert review
More
Alternative labels
none
▼
Synonyms / alternative labels (comma-separated) — skos:altLabel
Language auto-detected on export (PT if the label contains accents, EN otherwise).
Properties as BFO qualities
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Well.
Write the restriction block in Turtle syntax (without the leading
rdfs:subClassOf).
Example: [ owl:onProperty :hasPart ; owl:someValuesFrom :Wellhead ]
Cross-standard divergences
none detected yet
▼
Click "Detect divergences" to analyse cross-standard disagreements for this cluster.
Source Definitions (3)
WELL — ClassOfFunctionalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
well — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Well — Well Component
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (2)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
OWL/Turtle preview
Download .ttl
Numeric
COPI_* IRIs from copi-iri-map.tsv, with the readable name as a trailing comment. Names not yet in the map stay readable.
Loading...
ID 99 · claude-sonnet-4-20250514
Created 2026-04-14 12:56
Updated 2026-09-08 12:26
