Lithium - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Lithium ElementalSubstance)	Mid-level-ontology.kif 29925-29925	Lithium is a subclass of elemental substance
(atomicNumber Lithium 3)	Mid-level-ontology.kif 29928-29928	3 is an atomic number of lithium
(documentation Lithium EnglishLanguage "Socket silvery metal. First member of group 1 of the periodic table. Lithium salts are used in psychomedicine.")	Mid-level-ontology.kif 29936-29937	3 is an atomic number of lithium
(meltingPoint Lithium (MeasureFn 453.69 KelvinDegree))	Mid-level-ontology.kif 31811-31811	453.69 Kelvin degree(s) is a melting point of lithium
(boilingPoint Lithium (MeasureFn 1590.0 KelvinDegree))	Mid-level-ontology.kif 31812-31812	1590.0 Kelvin degree(s) is a boiling point of lithium
(roomTempState Lithium Solid)	Mid-level-ontology.kif 33924-33924	room temperature state lithium and solid
(externalImage Lithium "http://upload.wikimedia.org/wikipedia/commons/8/ 84/ Li_TableImage.svg")	pictureList.kif 1835-1835	room temperature state lithium and solid

appearance as argument number 2

(names "Lithium" Lithium)	Mid-level-ontology.kif 29926-29926	Lithium has name "Lithium"
(conventionalShortName "Li" Lithium)	Mid-level-ontology.kif 29927-29927	Lithium is a conventional short name of "Li"
(termFormat EnglishLanguage Lithium "lithium")	domainEnglishFormat.kif 34723-34723	Lithium is a conventional short name of "Li"
(termFormat ChineseTraditionalLanguage Lithium "鋰")	domainEnglishFormat.kif 34724-34724	Lithium is a conventional short name of "Li"
(termFormat ChineseLanguage Lithium "锂")	domainEnglishFormat.kif 34725-34725	Lithium is a conventional short name of "Li"

antecedent

(=>
    (and
        (instance ?ATOM Lithium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 6.939 Amu)))

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