Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
electrical connector
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined by its designed function to maintain intimate electrical contact between conductor parts, rather than by any specific physical mechanism or configuration. Any structural implementation can fulfill this electrical connection function.
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
ElectricalConnectionFunction → ElectricalConnectionProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The identity-giving function is to establish and maintain electrical continuity between conductor parts. This is what distinguishes an electrical connector from mechanical connectors, fluid connectors, or other connection devices - the specific requirement for intimate electrical contact to enable current flow.
▸
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:
From parent_candidates, 'electrical equipment class' from CFIHOS indicates the concept belongs under electrical equipment. Though no specific 'ElectricalEquipment' class appears in parent_candidates, this is the appropriate domain superclass for electrical artifacts. Several already-enriched classes (anode, circuit-breaker, fuse, switchboard, transformer, ups unit) use ElectricalEquipment as genus, establishing this as the correct electrical equipment root. More specific than MaterialArtifact but captures the electrical domain identity.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ElectricalConnectionFunction
▼
Conditions that distinguish
Electrical Connector
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific electrical connection function - what makes this electrical equipment a connector rather than other electrical equipment types. This function requires intimate contact between conductor parts, distinguishing it from equipment that transforms, interrupts, or protects electrical circuits.
▸
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:
The source definitions specify the function (maintaining intimate contact between conductor parts) but do not describe specific internal components that all electrical connectors must have. The Known Component Terms list is empty, and the definitions do not name specific parts like terminals, housings, or contact elements that would be universal across all connector types. Without concrete evidence from the sources, no necessary parts can be identified at this universal level.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The process signature reflects the electrical connector's role in maintaining current flow from one conductor part to another. The transformation is not power conversion in the sense of changing voltage/current levels, but maintaining electrical continuity - the current entering through one conductor part exits through the other with minimal resistance. This enables the electrical circuit to function as if the conductor parts were continuously joined.
▸
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 13 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Electrical Connector as
bfo:Quality subclasses.
Each selected property →
:ElectricalConnectorQuality ⊑ bfo:Quality, inheres in :ElectricalConnector
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Electrical Connector.
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.
