← Class ReferenceReferência de Classes
exported necessary COPI_0000731
Stator Winding
IRI: https://www.inf.ufrgs.br/ontologies/copi/COPI_0000731
Generated onGerado em 2026-08-08
Natural Language DefinitionDefinição em Linguagem Natural
EN
A material artifact that is a winding on the stator of a machine, bearing an electromagnetic field generation function.
PT-BR
Um artefato material que é um enrolamento no estator de uma máquina, possuindo uma função de geração de campo eletromagnético.
Formal AxiomsAxiomas Formais
First-Order Logic TheoryTeoria em Lógica de Primeira Ordem
[Necessary condition]∀x (StatorWinding(x) → MaterialArtifact(x) ∧ ∃f (ElectromagneticFieldGenerationFunction(f) ∧ bearerOf(x,f))) — Steps 1–3: genus + identity-giving function [Function axiom: ElectromagneticFieldGenerationFunction]∀f (ElectromagneticFieldGenerationFunction(f) → ∀p (realizedIn(f,p) → ElectromagneticFieldGenerationProcess(p)) ∧ ∃p (ElectromagneticFieldGenerationProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised [Structural differentia (necessary only)]∀x (StatorWinding(x) → ∃bearerOf.ElectromagneticFieldGenerationFunction ⊓ ∃componentPartOf.Stator) — Step 3: structural property — necessary condition, not sufficient (OWA prevents ≡) [Process participation signature]∀x ∀f ((StatorWinding(x) ∧ ElectromagneticFieldGenerationFunction(f) ∧ bearerOf(x,f)) → processType(f,ElectricalPowerConversion)) — Step 5: typed participants in the realising process
OWL 2 / Turtle
# Error generating Turtle: 'str' object has no attribute 'get'
Axiomatization Decision LogRegistro de Decisões
1 Identity-Giving FunctionFunção Identitária
Function class
ElectromagneticFieldGenerationFunction ⊑ DesignedFunction
Realized in
ElectromagneticFieldGenerationProcess ⊑ PlannedProcess
ISO 15926 defines it as a WINDING on the stator — an assembly of interconnected turns 'intended for common operation'. In a machine that common operation is generating the stationary electromagnetic field.
2 Genus DeterminationDeterminação do Gênero
MaterialArtifactbfo:Object (BFO_0000030)
ISO 15926 types WINDING as an ARTEFACT and an ELECTRICAL CONDUCTOR; MaterialArtifact is the corresponding IOF root.
3 Differentia SpecificaDiferença Específica
∃bearerOf.ElectromagneticFieldGenerationFunction ⊓ ∃componentPartOf.Stator

A material artifact that is an assembly of interconnected conductor turns mounted on the stator of a machine, bearing an electromagnetic field generation function.

Constructive and positional: 'a winding on the stator'. The same winding construction on a rotor is a rotor winding, so position is essential and the axiom is necessary-only.
4 Necessary PartsPartes Necessárias

No necessary parts recorded.

No sub-component is named in any source definition for this term. validate_necessary_parts_quotes() requires a verbatim source_quote for every part, and there is nothing to quote — so no parts are asserted (ODR-022 §10.2).
Process Participation SignatureAssinatura de Participação em Processo
InputsEntradas
—
OutputsSaídas
—
TransformationTransformação
conversion between electrical current and a stationary electromagnetic field
MetadataMetadados
COPI IDCOPI IDCOPI_0000731
IRIIRIhttps://www.inf.ufrgs.br/ontologies/copi/COPI_0000731
StatusStatusexported
Axiom modeModonecessary
CreatedCriado2026-08-08
UpdatedAtualizado2026-09-03
LLM modelModelo LLMclaude-opus-5
VersionVersão2026-09-04
Quick factsDados rápidos
GenusGêneroMaterialArtifact
Root classClasse raizMaterialArtifact
Axiom modeModonecessary
FunctionFunçãoElectromagneticFieldGenerationFunction
ProcessProcessoElectromagneticFieldGenerationProcess
PartsPartes0
Source DefinitionsDefinições nas Fontes 1 source
ISO 15926-4 STATOR WINDING
Definition text withheld (copyrighted standard) — follow the source link above.Texto da definição omitido (norma protegida por direitos autorais) — acesse o link da fonte acima.