| PowerGeneration(power generation) | | source, wind_generation, wind_power |
| appearance as argument number 1 |
|
|
| (subclass PowerGeneration Process) | Economy.kif 2298-2298 | Power generation is a subclass of process |
| (documentation PowerGeneration EnglishLanguage "PowerGeneration is the class of Processes in which some kind of power is generated either for immediate use in a Device or to be stored for future use.") | Economy.kif 2300-2302 | Power generation is a subclass of process |
| (disjointDecomposition PowerGeneration FossilFuelPowerGeneration HydroElectricPowerGeneration NuclearPowerGeneration OtherSourcePowerGeneration) | Economy.kif 2322-2322 | Power generation is disjointly decomposed into fossil fuel power generation, hydro electric power generation, nuclear power generation, and other source power generation |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass electricityFractionFromSourceInPeriod 2 PowerGeneration) | Economy.kif 2262-2262 | The number 2 argument of electricity fraction from source in period is a subclass of power generation |
| (domainSubclass electricityFractionFromSource 2 PowerGeneration) | Economy.kif 2278-2278 | The number 2 argument of electricity fraction from source is a subclass of power generation |
|
|
|