Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
electrical cable
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
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
ElectricalDistributionFunction → ElectricalDistributionProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
ISO 15926 states the purpose — 'used to distribute electricity' — while constraining the construction: one or more cable connectors held together with an overall sheath.
▸
Expert review
2
Genus Proximus
✓ done
MaterialArtifact
▼
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:
ISO 15926 types it as an ARTEFACT and an ELECTRICAL CONDUCTOR; MaterialArtifact is the corresponding IOF root.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ElectricalDistributionFunction ⊓ ∃hasComponentPartAtAllTimes.CableConnector ⊓ ∃hasComponentPartAtAllTimes.Sheath
▼
Conditions that distinguish
Electrical Cable
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
Necessary-only, and deliberately NOT reusing ElectricalConductionFunction: the 'electrical connection' entry is already equivalent on that function with the same genus MaterialArtifact, so sharing it would let the reasoner infer that every electrical cable is an electrical connection and conversely. The sheath and connector conditions are structural, which independently rules out equivalence.
▸
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:
Parts named in the differentia are not asserted as necessary_parts: validate_necessary_parts_quotes() requires each part to carry a verbatim source_quote, and these come from the definition of this entry itself rather than from a standard stating a component relationship. Left empty pending expert review.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
No admissible participants: electrical power is not a material entity (ODR-010 §5.1). The cable's electrical rating is a quality (bearer_of ElectricalCurrent, COPI_0000383).
▸
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 Electrical Cable.
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.
