ElectronVolt - Sigma Knowledge base Browser

appearance as argument number 1

(instance ElectronVolt CompositeUnitOfMeasure)	Merge.kif 7283-7283	Electron volt is an instance of composite unit of measure
(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 7285-7287	Electron volt is an instance of composite unit of measure

appearance as argument number 2

(termFormat EnglishLanguage ElectronVolt "electron volt")	domainEnglishFormat.kif 21774-21774
(termFormat ChineseTraditionalLanguage ElectronVolt "電子伏特")	domainEnglishFormat.kif 21775-21775
(termFormat ChineseLanguage ElectronVolt "电子伏特")	domainEnglishFormat.kif 21776-21776

statement

(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn
                    (DivisionFn 1.60217733 1000000.0) 1000000.0) 10000000.0)) Joule))

equal X electron volt(s) and X and 1.60217733 and 1000000.0 and 1000000.0 and 10000000.0 joule(s)