Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
electric generator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined consistently across sources by its function of converting non-electric energy into electric energy. This is a functional identity - any device that performs this energy conversion process is an electric generator, regardless of the specific physical mechanism (turbine, engine, photovoltaic, etc.).
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
ElectricEnergyGenerationFunction → ElectricEnergyGenerationProcess
▼
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 conversion of non-electric energy (mechanical, thermal, chemical, etc.) into electric energy. This distinguishes electric generators from other energy conversion devices like motors (electric to mechanical) or transformers (electric to electric at different voltages).
▸
Expert review
2
Genus Proximus
✓ done
Assembly
▼
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:
Looking at parent candidates, 'GENERATOR' would be more specific but is not enriched in our ontology. Electric generators are complex mechanical-electrical devices with multiple physically connected components (rotor, stator, bearings, housing, excitation system) that work together as a causally unified whole. They are assembled, maintained, and replaced as single units, making Assembly the appropriate genus.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ElectricEnergyGenerationFunction
▼
Conditions that distinguish
Electric Generator
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific designed function that distinguishes electric generators from all other assemblies. This function captures the essential energy conversion characteristic that defines the concept across all implementation variants (AC/DC, synchronous/asynchronous, various prime movers).
▸
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 are the minimal essential components present in all electric generator implementations, from simple hand-crank generators to large turbine-driven units. Bearings, housings, and cooling systems are typically present but may vary significantly by subtype.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature captures the fundamental energy conversion process that defines electric generators - mechanical input energy is transformed to electrical output energy through electromagnetic principles.
▸
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
0 of 10 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Electric Generator as
bfo:Quality subclasses.
Each selected property →
:ElectricGeneratorQuality ⊑ bfo:Quality, inheres in :ElectricGenerator
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Electric Generator.
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.
