Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
umbilical
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
While umbilicals serve control/power/communication functions, their identity is primarily defined by their distinctive physical configuration: a flexible, easily disconnectable collection/bundle of cables and/or tubing. This bundled cable-and-tube structure is the key differentiator, not the specific function they enable (which varies: control, power, communication, chemical injection).
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
MultiServiceTransmissionFunction → MultiServiceTransmissionProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
Umbilicals are designed to simultaneously transmit multiple types of services (hydraulic control, electrical power, communication signals, chemical injection) between remote locations. This multi-modal transmission capability is their core functional identity, though the specific configuration defines the constructive type.
▸
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:
No appropriate domain-specific superclass exists in the parent candidates (DRILLING COMPONENT is too narrow, miscellaneous equipment too vague, Artefact too broad). Umbilicals are clearly assemblies composed of multiple physically connected components (cables, tubing, protective sheathing, connectors) that can be disassembled for maintenance, forming a single causally unified object. No enriched genus available, so using IOF-Core Assembly directly.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasPart.CableBundle ⊓ ∃hasPart.TubeBundle ⊓ ∃hasQuality.Flexibility ⊓ ∃hasQuality.EasyDisconnectability
▼
Conditions that distinguish
Umbilical
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 the unique constructive features that define umbilicals: (1) bundled configuration of multiple service types, (2) flexibility for deployment/retrieval, (3) easy disconnectability for maintenance/operations, (4) combination of both electrical and fluid transmission capabilities.
▸
Expert review
4
Necessary Parts
✓ done
CableBundle, TubeBundle
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts are essential to umbilical identity: cable bundle for electrical services, tubing bundle for fluid services, protective sheathing for environmental protection, and connector assemblies for the characteristic easy disconnection capability.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
InformationContentEntity + PortionOfFluid → InformationContentEntity + PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Umbilicals provide multi-modal transmission without transformation - they route electrical and fluid services from control points to remote equipment while preserving signal integrity and fluid properties.
▸
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 Umbilical.
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.
