(subclass ElectricalPowerGeneration PowerGeneration) | Economy.kif 2069-2069 | ElectricalPowerGeneration は PowerGeneration の subclass では %n |
(subclass HydroElectricPowerGeneration ElectricalPowerGeneration) | Economy.kif 2077-2077 | HydroElectricPowerGeneration は ElectricalPowerGeneration の subclass では %n |