| NuclearPowerGeneration(nuclear power generation) | | atomic_energy, atomic_power, nuclear_energy, nuclear_power |
| appearance as argument number 1 |
|
|
| (subclass NuclearPowerGeneration PowerGeneration) | Economy.kif 2083-2083 | Nuclear power generation is a subclass of power generation |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage NuclearPowerGeneration "核能发电") | domainEnglishFormat.kif 41275-41275 | |
| (termFormat ChineseTraditionalLanguage NuclearPowerGeneration "核能發電") | domainEnglishFormat.kif 41274-41274 | |
| (termFormat EnglishLanguage NuclearPowerGeneration "nuclear power generation") | domainEnglishFormat.kif 41273-41273 |
| appearance as argument number 4 |
|
|
|
|
|