Erbium - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Erbium ElementalSubstance)	Mid-level-ontology.kif 31096-31096	Erbium is a subclass of elemental substance
(atomicNumber Erbium 68)	Mid-level-ontology.kif 31099-31099	68 is an atomic number of erbium
(documentation Erbium EnglishLanguage "Soft silvery metallic element which belongs to the lanthanoids. Six natural isotopes that are stable. Twelve artificial isotopes are known. Used in nuclear technology as a neutron absorber. It is being investigated for other possible uses. Discovered by Carl G. Mosander in 1843.")	Mid-level-ontology.kif 31107-31111	68 is an atomic number of erbium
(meltingPoint Erbium (MeasureFn 1795.0 KelvinDegree))	Mid-level-ontology.kif 31980-31980	1795.0 Kelvin degree(s) is a melting point of erbium
(boilingPoint Erbium (MeasureFn 2783.0 KelvinDegree))	Mid-level-ontology.kif 31981-31981	2783.0 Kelvin degree(s) is a boiling point of erbium
(roomTempState Erbium Solid)	Mid-level-ontology.kif 34209-34209	room temperature state erbium and solid
(externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 78/ Er%2C68.jpg/ 125px_Er%2C68.jpg")	pictureList.kif 1102-1102	room temperature state erbium and solid
(externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Er_TableImage.png")	pictureList.kif 1749-1749	room temperature state erbium and solid
(externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/7/78/ Er%2C68.jpg")	pictureList.kif 2162-2162	room temperature state erbium and solid

appearance as argument number 2

(names "Erbium" Erbium)	Mid-level-ontology.kif 31097-31097	Erbium has name "Erbium"
(conventionalShortName "Er" Erbium)	Mid-level-ontology.kif 31098-31098	Erbium is a conventional short name of "Er"
(termFormat EnglishLanguage Erbium "erbium")	domainEnglishFormat.kif 22375-22375	Erbium is a conventional short name of "Er"
(termFormat ChineseTraditionalLanguage Erbium "鉺")	domainEnglishFormat.kif 22376-22376	Erbium is a conventional short name of "Er"
(termFormat ChineseLanguage Erbium "铒")	domainEnglishFormat.kif 22377-22377	Erbium is a conventional short name of "Er"

antecedent

(=>
    (and
        (instance ?ATOM Erbium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 167.26 Amu)))

If X is an instance of erbium and X is an instance of atom, then the measure of X is 167.26 amu(s)