Angstrom - Sigma Knowledge base Browser

appearance as argument number 1

(instance Angstrom UnitOfLength)	Merge.kif 7302-7302	Angstrom is an instance of unit of length
(documentation Angstrom EnglishLanguage "The Angstrom is a LengthMeasure. 1 Angstrom = 10^(-10) m")	Merge.kif 7304-7305	Angstrom is an instance of unit of length

appearance as argument number 2

(termFormat EnglishLanguage Angstrom "angstrom")	domainEnglishFormat.kif 7517-7517
(termFormat ChineseTraditionalLanguage Angstrom "埃")	domainEnglishFormat.kif 7518-7518
(termFormat ChineseLanguage Angstrom "埃")	domainEnglishFormat.kif 7519-7519

statement

(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn 1.0 100000.0) 100000.0)) Meter))

equal X angstrom(s) and X and 1.0 and 100000.0 and 100000.0 meter(s)