(subclass ElectricalPowerGeneration PowerGeneration) | Economy.kif 2069-2069 | Electrical power generation is a subclass of power generation |
(subclass HydroElectricPowerGeneration ElectricalPowerGeneration) | Economy.kif 2077-2077 | Hydro electric power generation is a subclass of electrical power generation |