Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
flowline
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
A flowline is primarily defined by its function of transporting oil, gas, or water between specific endpoints (wellhead to manifold/facilities), regardless of its physical construction details like material, diameter, or configuration.
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
FluidTransportFunction → FluidTransportProcess ⊑ MomentumTransfer
▼
COPI-Core operation
MomentumTransfer via process parent MomentumTransfer
LLM rationale:
The identity-giving function is transporting fluids between wellheads and production facilities. This function is already used by the enriched 'pipeline' class and accurately captures the essential purpose of flowlines in oil and gas operations.
▸
Expert review
2
Genus Proximus
✓ done
Pipeline · 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:
Pipeline is explicitly listed as a parent in ISO 15926 and is already enriched in our ontology. A flowline is a specialized type of pipeline used in specific oil and gas production contexts. Pipeline as an EngineeredSystem (collection of pipes, fittings, supports) is the appropriate genus rather than the more general Assembly.
▸
Expert review
3
Differentia Specifica
✓ done
∃participatesIn.FluidTransportProcess ⊓ ∃connectsDirectly.Wellhead ⊓ ∃connectsDirectly.(Manifold ⊔ ProductionFacility)
▼
Conditions that distinguish
Flowline
from sibling classes under genus
Pipeline.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures the specific connectivity pattern (wellhead to manifold/facilities) and fluid type constraints (hydrocarbons including water) that distinguish flowlines from other pipeline types in the oil and gas domain.
▸
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:
These parts are necessary for the basic connectivity function of flowlines - the pipe for transport and connections at both endpoints to establish the wellhead-to-facility link.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
HydrocarbonFluid → HydrocarbonFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Flowlines primarily provide spatial transport of production fluids without significant transformation, though some pressure drop and potential phase separation may occur during transport.
▸
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 Flowline.
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.
