TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Scandium ElementalSubstance)	Mid-level-ontology.kif 30228-30228	Scandium is a subclass of elemental substance
(atomicNumber Scandium 21)	Mid-level-ontology.kif 30231-30231	21 is an atomic number of scandium
(documentation Scandium EnglishLanguage "Rare soft silvery metallic element belonging to group 3 of the periodic table. There are ten isotopes, nine of which are radioactive and have short half-lives. Predicted in 1869 by Mendeleev, isolated by Nilson in 1879.")	Mid-level-ontology.kif 30239-30242	21 is an atomic number of scandium
(meltingPoint Scandium (MeasureFn 1812.0 KelvinDegree))	Mid-level-ontology.kif 31847-31847	1812.0 Kelvin degree(s) is a melting point of scandium
(boilingPoint Scandium (MeasureFn 3105.0 KelvinDegree))	Mid-level-ontology.kif 31848-31848	3105.0 Kelvin degree(s) is a boiling point of scandium
(roomTempState Scandium Solid)	Mid-level-ontology.kif 33943-33943	room temperature state scandium and solid
(externalImage Scandium "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cc/ Sc%2C21.jpg/ 125px_Sc%2C21.jpg")	pictureList.kif 1244-1244	room temperature state scandium and solid
(externalImage Scandium "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Sc_TableImage.svg")	pictureList.kif 1969-1969	room temperature state scandium and solid
(externalImage Scandium "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Sc%2C21.jpg")	pictureList.kif 2343-2343	room temperature state scandium and solid

appearance as argument number 2

(names "Scandium" Scandium)	Mid-level-ontology.kif 30229-30229	Scandium has name "Scandium"
(conventionalShortName "Sc" Scandium)	Mid-level-ontology.kif 30230-30230	Scandium is a conventional short name of "Sc"
(termFormat EnglishLanguage Scandium "scandium")	domainEnglishFormat.kif 51466-51466	Scandium is a conventional short name of "Sc"
(termFormat ChineseTraditionalLanguage Scandium "鈧")	domainEnglishFormat.kif 51467-51467	Scandium is a conventional short name of "Sc"
(termFormat ChineseLanguage Scandium "钪")	domainEnglishFormat.kif 51468-51468	Scandium is a conventional short name of "Sc"

antecedent

(=>
    (and
        (instance ?ATOM Scandium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 44.956 Amu)))

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