Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
power transformer primary 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 configuration as the primary winding specifically within a power transformer structure, not by a unique function distinct from other transformer windings. The identity comes from its structural role and position within the power transformer assembly.
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:
Reusing ElectricalPowerTransformationFunction from the already-enriched power transformer class, as the primary winding participates in the same fundamental function as the transformer assembly - it is a structural component that enables power transformation through electromagnetic induction.
▸
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:
The most specific appropriate genus is TransformerWinding, which is a fiat object part of a transformer assembly. Since the parent hierarchy shows TRANSFORMER PRIMARY WINDING as the immediate parent, this represents a structural component demarcated within the larger transformer object rather than an independent assembly.
▸
Expert review
3
Differentia Specifica
✓ done
∃partOf.PowerTransformer ⊓ ∃bearerOf.PrimaryWindingFunction
▼
Conditions that distinguish
Power Transformer Primary 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 this as the primary winding (input side) of specifically a power transformer, distinguishing it from secondary windings and from windings in other transformer types like instrument transformers.
▸
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 available in the source standards for this equipment type. The definition focuses on the winding as a structural component rather than detailing its internal parts.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The primary winding receives electrical power at one voltage/current level and through electromagnetic induction enables power transfer to the secondary winding at different voltage/current levels. This grounds the electrical_power_conversion transformation kind.
▸
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 Primary 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.
