| ElectronVolt | |
| 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 7061-7063 | |
| (instance ElectronVolt CompositeUnitOfMeasure) | Merge.kif 7059-7059 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ElectronVolt "电子伏特") | domainEnglishFormat.kif 21771-21771 | |
| (termFormat ChineseTraditionalLanguage ElectronVolt "電子伏特") | domainEnglishFormat.kif 21770-21770 | |
| (termFormat EnglishLanguage ElectronVolt "electron volt") | domainEnglishFormat.kif 21769-21769 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule)) |
Merge.kif 7065-7067 |
|
|
|