Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
power transformer secondary winding
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
This concept is defined by its physical position and configuration within a power transformer's architecture - it is specifically the secondary winding component of a power transformer. The identity is given by its constructive role as the output-side electromagnetic winding, not by a unique function that differs from other transformer windings.
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
ElectricalPowerTransformationFunction → ElectricalPowerTransformationProcess
▼
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 same as the parent transformer - electromagnetic power transformation. The secondary winding participates in this same function as the output-side component. This reuses the existing ElectricalPowerTransformationFunction from the already-enriched power transformer class.
▸
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:
A power transformer secondary winding is a portion of a power transformer object demarcated by fiat - it is not a separable material artifact that can exist independently, but rather a functionally and spatially defined part of the larger transformer assembly. Unlike a removable component, a winding is integrated into the transformer's electromagnetic structure and cannot be replaced without disassembling the core transformer apparatus.
▸
Expert review
3
Differentia Specifica
✓ done
∃partOf.PowerTransformer ⊓ ∃bearerOf.SecondaryWindingFunction
▼
Conditions that distinguish
Power Transformer Secondary Winding
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia specifies (1) containment within a power transformer specifically, and (2) the secondary winding function which distinguishes it from primary windings and other transformer parts. The secondary winding function represents the output-side role in the electromagnetic transformation.
▸
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:
No component terms are provided in the source standards, and the definition does not specify internal parts of the winding itself. A winding is essentially a coil of conductive material, but without source evidence for specific subcomponents (conductor, insulation, terminals, etc.), no parts are modeled at this universal level.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The secondary winding receives electromagnetic energy from the primary winding through the transformer core and outputs electrical power at the transformed voltage level. This signature is consistent with the overall transformer function but represents the output side of the transformation.
▸
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 Power Transformer Secondary Winding.
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.
