| ElectronVolt(electron volt) | | eV, electron_volt |
| appearance as argument number 1 |
|
|
| (documentation ElectronVolt ChineseLanguage "ElectronVolt 是一个能量单位，符号：eV。它是一个 电子在真空的情况下，经过 1 Volt电位差所获得的动能。") | chinese_format.kif 2587-2588 | |
| (documentation ElectronVolt EnglishLanguage "The ElectronVolt is an energy measure. Symbol: eV. It is the kinetic energy acquired by an electron in passing through a potential difference of 1 Volt in a vacuum.") | Merge.kif 7157-7159 | |
| (documentation ElectronVolt JapaneseLanguage "エレクトロンボルトはエネルギー測定である。 シンボル:eV。これは、真空中で Volt の電位差を通過する際に電子によって得られる運動エネルギーであ る。") | japanese_format.kif 1295-1297 | |
| (instance ElectronVolt CompositeUnitOfMeasure) | Merge.kif 7155-7155 | Electron volt is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ElectronVolt "电子伏特") | domainEnglishFormat.kif 21789-21789 | |
| (termFormat ChineseTraditionalLanguage ElectronVolt "電子伏特") | domainEnglishFormat.kif 21788-21788 | |
| (termFormat EnglishLanguage ElectronVolt "electron volt") | domainEnglishFormat.kif 21787-21787 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn (DivisionFn (DivisionFn 1.60217733 1000000.0) 1000000.0) 10000000.0)) Joule)) |
Merge.kif 7161-7169 | A real number electron volt(s) is equal to the real number and 1.60217733 and 1000000.0 and 1000000.0 and 10000000.0 joule(s) |
|
|
|