Lithium | ![]() |
appearance as argument number 1 |
![]() |
(atomicNumber Lithium 3) | Mid-level-ontology.kif 28980-28980 | |
(boilingPoint Lithium (MeasureFn 1590.0 KelvinDegree)) |
Mid-level-ontology.kif 30864-30864 | |
(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 28988-28989 | |
(externalImage Lithium "http://upload.wikimedia.org/wikipedia/commons/8/ 84/ Li_TableImage.svg") | pictureList.kif 1835-1835 | |
(meltingPoint Lithium (MeasureFn 453.69 KelvinDegree)) |
Mid-level-ontology.kif 30863-30863 | |
(names Lithium "Lithium") | Mid-level-ontology.kif 28978-28978 | |
(roomTempState Lithium Solid) | Mid-level-ontology.kif 33156-33156 | |
(subclass Lithium ElementalSubstance) | Mid-level-ontology.kif 28977-28977 |
appearance as argument number 2 |
![]() |
(conventionalShortName "Li" Lithium) | Mid-level-ontology.kif 28979-28979 | |
(termFormat ChineseLanguage Lithium "锂") | domainEnglishFormat.kif 34749-34749 | |
(termFormat ChineseTraditionalLanguage Lithium "鋰") | domainEnglishFormat.kif 34748-34748 | |
(termFormat EnglishLanguage Lithium "lithium") | domainEnglishFormat.kif 34747-34747 |
antecedent |
![]() |
(=> (and (instance ?ATOM Lithium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 6.939 Amu))) |
Mid-level-ontology.kif 28982-28986 |
![]() |
![]() |