Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
wellhead
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Identity is primarily defined by the function of providing surface control and interface for well operations - controlling pressure, flow, and providing mounting/connection points for other equipment. While there are structural components mentioned (spools, casings, valves), these serve the primary functional purpose rather than being definitional based on specific mechanisms.
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
WellSurfaceControlFunction → WellSurfaceControlProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
The wellhead's identity-giving function is to provide surface control of well operations - pressure control, flow control, mounting for other equipment like Christmas trees, and serving as the interface between subsurface and surface systems. This is distinct from the WellFluidControlFunction of Christmas trees which focuses on production flow control.
▸
Expert review
2
Genus Proximus
✓ done
Assembly
▼
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:
Wellhead is clearly an assembly of multiple physically connected components (spools, valves, adapters, hangers, housings) that function as a causally unified unit with a single maintainable boundary. It's more complex than a simple MaterialArtifact but exists as one integrated Object. No domain-specific superclass exists in the parent candidates that would be more appropriate.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.WellSurfaceControlFunction ⊓ ∃hasComponentPartAtAllTimes.CasingHanger ⊓ ∃hasConnectionTo.Wellbore
▼
Conditions that distinguish
Wellhead
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The functional differentia (WellSurfaceControlFunction) captures the primary identity-giving role. The structural differentia (casing hangers) and relational differentia (connection to wellbore) are essential characteristics that distinguish wellheads from other assemblies - all wellheads must interface with the wellbore and incorporate hangers for casing/tubing.
▸
Expert review
4
Necessary Parts
✓ done
WellheadSpool
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts represent the minimal necessary components for any wellhead to fulfill its surface control function - wellbore interface (casing hanger), structural integrity (spool/body), and safety (pressure containment).
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FormationFluid → FormationFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Wellhead receives well fluids from the wellbore and provides controlled interface to surface equipment. The transformation is control-based rather than thermodynamic or chemical.
▸
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
0 of 2 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Wellhead as
bfo:Quality subclasses.
Each selected property →
:WellheadQuality ⊑ bfo:Quality, inheres in :Wellhead
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Wellhead.
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.
