| (subclass PowerGeneration Process) | Economy.kif 2303-2303 | Power generation is a subclass of process |
| (subclass ElectricalPowerGeneration PowerGeneration) | Economy.kif 2309-2309 | Electrical power generation is a subclass of power generation |
| (subclass FossilFuelPowerGeneration PowerGeneration) | Economy.kif 2315-2315 | Fossil fuel power generation is a subclass of power generation |
| (subclass NuclearPowerGeneration PowerGeneration) | Economy.kif 2319-2319 | Nuclear power generation is a subclass of power generation |
| (subclass OtherSourcePowerGeneration PowerGeneration) | Economy.kif 2321-2321 | Other source power generation is a subclass of power generation |
|
|