TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Chromium ElementalSubstance)	Mid-level-ontology.kif 30287-30287	Chromium is a subclass of elemental substance
(atomicNumber Chromium 24)	Mid-level-ontology.kif 30290-30290	24 is an atomic number of chromium
(documentation Chromium EnglishLanguage "Hard silvery transition element. Used in decorative electroplating. Discovered in 1797 by Vauquelin.")	Mid-level-ontology.kif 30298-30299	24 is an atomic number of chromium
(meltingPoint Chromium (MeasureFn 2130.0 KelvinDegree))	Mid-level-ontology.kif 31853-31853	2130.0 Kelvin degree(s) is a melting point of chromium
(boilingPoint Chromium (MeasureFn 2755.0 KelvinDegree))	Mid-level-ontology.kif 31854-31854	2755.0 Kelvin degree(s) is a boiling point of chromium
(roomTempState Chromium Solid)	Mid-level-ontology.kif 33946-33946	room temperature state chromium and solid
(externalImage Chromium "http://articulatesoftware.com/SUMOpictures/rocks_minerals/ C/ Ch/ Chromium.png")	pictureList.kif 344-344	room temperature state chromium and solid
(externalImage Chromium "http://upload.wikimedia.org/wikipedia/commons/d/ d1/ Cr_TableImage.png")	pictureList.kif 1698-1698	room temperature state chromium and solid
(externalImage Chromium "http://upload.wikimedia.org/wikipedia/commons/e/ e3/ Cr%2C24.jpg")	pictureList.kif 2137-2137	room temperature state chromium and solid

appearance as argument number 2

(names "Chromium" Chromium)	Mid-level-ontology.kif 30288-30288	Chromium has name "Chromium"
(conventionalShortName "Cr" Chromium)	Mid-level-ontology.kif 30289-30289	Chromium is a conventional short name of "Cr"
(termFormat EnglishLanguage Chromium "chromium")	domainEnglishFormat.kif 14760-14760	Chromium is a conventional short name of "Cr"
(termFormat ChineseTraditionalLanguage Chromium "鉻")	domainEnglishFormat.kif 14761-14761	Chromium is a conventional short name of "Cr"
(termFormat ChineseLanguage Chromium "铬")	domainEnglishFormat.kif 14762-14762	Chromium is a conventional short name of "Cr"

antecedent

(=>
    (and
        (instance ?ATOM Chromium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 51.996 Amu)))

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