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