Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
christmas tree
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Christmas tree is defined by its role to control and direct formation fluids from oil/gas wells. While it has complex internal structure (valves, spools, pipes), its identity is fundamentally given by its function of wellhead flow control, not by a specific structural configuration. Different types (horizontal, vertical, subsea, surface) can fulfill this role with varying physical arrangements.
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
WellFluidControlFunction → WellFluidControlProcess ⊑ FlowControl
▼
COPI-Core operation
FlowControl via process parent FlowControl
LLM rationale:
The consistent theme across all definitions is the function to control, direct, and regulate the flow of formation fluids from oil/gas wells. This is a specialized control function distinct from general flow control, as it specifically manages well production fluids at the wellhead interface.
▸
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:
Christmas tree is explicitly described as an 'assembly of pipes and piping parts, with valves and associated control equipment'. While 'PIPING SYSTEM' appears in parent_candidates, this is too specialized - christmas trees are not primarily piping systems but rather integrated assemblies that include valves, control equipment, sensors, and structural components in addition to piping. The assembly nature is emphasized across all sources, indicating physically connected, removable subcomponents unified into a single maintainable unit.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.WellFluidControlFunction ⊓ ∃hasComponentPartAtAllTimes.Wellhead ⊓ ∃hasComponentPartAtAllTimes.MasterValve
▼
Conditions that distinguish
Christmas Tree
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures three essential aspects: (1) the specialized well control function, (2) the mandatory wellhead connection that defines its installation context, and (3) the presence of master valves which are the primary control elements mentioned across all definitions.
▸
Expert review
4
Necessary Parts
✓ done
MasterValve, WingValve
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts represent the essential components that make a christmas tree functional - primary control valves, structural body, and control equipment. Piping components are inherited from Assembly level.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FormationFluid → FormationFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Christmas trees receive uncontrolled formation fluids from the well and output controlled fluids to the production system. The transformation involves pressure and flow rate control rather than compositional change.
▸
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 134 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Christmas Tree as
bfo:Quality subclasses.
Each selected property →
:ChristmasTreeQuality ⊑ bfo:Quality, inheres in :ChristmasTree
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Christmas Tree.
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.