Erbium - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Erbium ElementalSubstance)	Mid-level-ontology.kif 31114-31114	Erbium is a subclass of elemental substance
(atomicNumber Erbium 68)	Mid-level-ontology.kif 31117-31117	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 31125-31129	68 is an atomic number of erbium
(meltingPoint Erbium (MeasureFn 1795.0 KelvinDegree))	Mid-level-ontology.kif 31998-31998	1795.0 Kelvin degree(s) is a melting point of erbium
(boilingPoint Erbium (MeasureFn 2783.0 KelvinDegree))	Mid-level-ontology.kif 31999-31999	2783.0 Kelvin degree(s) is a boiling point of erbium
(roomTempState Erbium Solid)	Mid-level-ontology.kif 34244-34244	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 31115-31115	Erbium has name "Erbium"
(conventionalShortName "Er" Erbium)	Mid-level-ontology.kif 31116-31116	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)