|
|
   WindowsXP
|
|
|
| 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 7158-7160 | |
| (documentation ElectronVolt JapaneseLanguage "エレクトロンボルトはエネルギー測定である。 シンボル:eV。これは、真空中で Volt の電位差を通過する際に電子によって得られる運動エネルギーであ る。") | japanese_format.kif 1295-1297 | |
| (instance ElectronVolt CompositeUnitOfMeasure) | Merge.kif 7156-7156 | Electron volt is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ElectronVolt "电子伏特") | domainEnglishFormat.kif 21774-21774 | |
| (termFormat ChineseTraditionalLanguage ElectronVolt "電子伏特") | domainEnglishFormat.kif 21773-21773 | |
| (termFormat EnglishLanguage ElectronVolt "electron volt") | domainEnglishFormat.kif 21772-21772 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule)) |
Merge.kif 7162-7164 | A real number electron volt(s) is equal to the real number and 1.60217733E-19 joule(s) |
|
|
|