Angstrom - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Angstrom ChineseLanguage "Angstrom 是一个 LengthMeasure。 1 Angstrom = 10^(-10) m")	chinese_format.kif 2589-2590
(documentation Angstrom EnglishLanguage "The Angstrom is a LengthMeasure. 1 Angstrom = 10^(-10) m")	Merge.kif 6747-6748
(instance Angstrom UnitOfLength)	Merge.kif 6745-6745

appearance as argument number 2

(termFormat ChineseLanguage Angstrom "埃")	domainEnglishFormat.kif 7531-7531
(termFormat ChineseTraditionalLanguage Angstrom "埃")	domainEnglishFormat.kif 7530-7530
(termFormat EnglishLanguage Angstrom "angstrom")	domainEnglishFormat.kif 7529-7529

statement

(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.0E-10) Meter))

Merge.kif 6750-6752