Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
circuit breaker
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Circuit breakers are primarily defined by their function to interrupt electrical current at regular intervals. While they have specific mechanical switching mechanisms, their identity is given by their protective and control function rather than their physical construction. All definitions focus on the interruption behavior, not the switching mechanism 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
ElectricalCurrentInterruptionFunction → ElectricalCurrentInterruptionProcess
▼
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 the designed capability to interrupt electrical current at regular intervals. This distinguishes circuit breakers from other electrical switching devices that may only make/break circuits under normal load conditions but cannot interrupt fault currents safely.
▸
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:
Circuit breakers are a subtype of electrical switching devices, as evidenced by ISO 15926 classification. This is more specific than the broader 'ElectricalApparatus' parent. ElectricalSwitchingDevice represents causally unified artifacts designed for electrical circuit control, making them MaterialArtifacts. This genus is not yet enriched in our ontology but represents the appropriate taxonomic level.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ElectricalCurrentInterruptionFunction ⊓ ∃participatesIn.RegularInterruptionProcess
▼
Conditions that distinguish
Circuit Breaker
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The key differentia is the specific function to interrupt current safely and the capability to do so at regular intervals. This encompasses both protective interruption (fault conditions) and operational interruption (normal switching), which distinguishes circuit breakers from simpler switching devices.
▸
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 fundamental to any circuit breaker regardless of subtype. The arc extinction mechanism is what enables safe current interruption (versus simple switches), and the trip mechanism enables the regular/automatic interruption capability that defines circuit breakers.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Circuit breakers control the flow of electrical current by making and breaking the electrical path. The key characteristic is the ability to safely interrupt current even under fault conditions, unlike simple switches.
▸
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).
Label aggregation (source terms merged into this cluster)
Merged automatically (hyphen/space variants):
-
circuit-breaker— cfihos, posc_caesar (2 terms)
Properties as BFO qualities
0 of 12 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Circuit Breaker as
bfo:Quality subclasses.
Each selected property →
:CircuitBreakerQuality ⊑ bfo:Quality, inheres in :CircuitBreaker
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Circuit Breaker.
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.
