exported
equivalent
COPI_0000724
Electrical Switch
IRI:
https://www.inf.ufrgs.br/ontologies/copi/COPI_0000724
Generated onGerado em 2026-08-08
Natural Language DefinitionDefinição em Linguagem Natural
EN
A material artifact that bears an electrical switching function, turning electrical current on and/or off.PT-BR
Um artefato material que possui uma função de chaveamento elétrico, ligando e/ou desligando a corrente elétrica.Formal AxiomsAxiomas Formais
First-Order Logic TheoryTeoria em Lógica de Primeira Ordem
[Definition]∀x (ElectricalSwitch(x) ↔ MaterialArtifact(x) ∧ ∃f (ElectricalSwitchingFunction(f) ∧ bearerOf(x,f))) — Steps 1–3: genus + identity-giving function
[Function axiom: ElectricalSwitchingFunction]∀f (ElectricalSwitchingFunction(f) → ∀p (realizedIn(f,p) → ElectricalSwitchingProcess(p)) ∧ ∃p (ElectricalSwitchingProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised
[Process participation signature]∀x ∀f ((ElectricalSwitch(x) ∧ ElectricalSwitchingFunction(f) ∧ bearerOf(x,f)) →
∃m (ControlSignal(m) ∧ participatesIn(m,f)) ∧
∃e (InformationContentEntity(e) ∧ participatesIn(e,f)) ∧
processType(f,ElectricalCircuitSwitching)) — 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
ElectricalSwitchingFunction
⊑ DesignedFunction
Realized in
ElectricalSwitchingProcess
⊑ PlannedProcess
CFIHOS and ISO 15926 give the same functional definition — 'turns electrical current on and/or off' — with no structural constraint, so the function is identity-giving and sufficient.
2 Genus DeterminationDeterminação do Gênero
MaterialArtifactbfo:Object (BFO_0000030)
ISO 15926 types it as an ARTEFACT and a SWITCHING DEVICE; MaterialArtifact is the corresponding IOF root.
3 Differentia SpecificaDiferença Específica
∃bearerOf.ElectricalSwitchingFunctionA material artifact that bears an electrical switching function, establishing or interrupting the continuity of an electrical circuit.
Purely functional basis, stated identically by two independent standards, so equivalence is safe.
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
{'type': 'ControlSignal', 'count': 1, 'constraints': 'command to open or close the circuit, manual or automatic'}
OutputsSaídas
{'type': 'InformationContentEntity', 'count': 1, 'constraints': 'resulting circuit state'}
TransformationTransformação
establishing or interrupting electrical circuit continuity on command
MetadataMetadados
| COPI IDCOPI ID | COPI_0000724 |
| IRIIRI | https://www.inf.ufrgs.br/ontologies/copi/COPI_0000724 |
| StatusStatus | exported |
| Axiom modeModo | equivalent |
| CreatedCriado | 2026-08-08 |
| UpdatedAtualizado | 2026-09-03 |
| LLM modelModelo LLM | claude-opus-5 |
| VersionVersão | 2026-09-04 |
ISA 5.1-2022 — 5_1_1/002_located_in_field.png
Quick factsDados rápidos
| GenusGênero | MaterialArtifact |
| Root classClasse raiz | MaterialArtifact |
| Axiom modeModo | equivalent |
| FunctionFunção | ElectricalSwitchingFunction |
| ProcessProcesso | ElectricalSwitchingProcess |
| PartsPartes | 0 |
Source DefinitionsDefinições nas Fontes
2 sources
ISO 15926-4
ELECTRICAL SWITCH
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.
CFIHOS
electrical switch
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.