| Lithium(lithium)
| | Li, atomic_number_3, lithium |
| appearance as argument number 1 |
|
|
| (atomicNumber Lithium 3) | Mid-level-ontology.kif 28417-28417 | 3 is an atomic number of lithium |
| (boilingPoint Lithium (MeasureFn 1590.0 KelvinDegree)) |
Mid-level-ontology.kif 30301-30301 | 1590.0 Kelvin degree(s) is a boiling point 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 28425-28426 | 1590.0 Kelvin degree(s) is a boiling point of lithium |
| (externalImage Lithium "http://upload.wikimedia.org/wikipedia/commons/8/ 84/ Li_TableImage.svg") | pictureList.kif 1835-1835 | 1590.0 Kelvin degree(s) is a boiling point of lithium |
| (meltingPoint Lithium (MeasureFn 453.69 KelvinDegree)) |
Mid-level-ontology.kif 30300-30300 | 453.69 Kelvin degree(s) is a melting point of lithium |
| (names Lithium "Lithium") | Mid-level-ontology.kif 28415-28415 | "Lithium" has name lithium |
| (roomTempState Lithium Solid) | Mid-level-ontology.kif 32575-32575 | roomTempState lithium and solid |
| (subclass Lithium ElementalSubstance) | Mid-level-ontology.kif 28414-28414 | Lithium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Li" Lithium) | Mid-level-ontology.kif 28416-28416 | Lithium is a conventional short name of "Li" |
| (termFormat ChineseLanguage Lithium "锂") | domainEnglishFormat.kif 34749-34749 | Lithium is a conventional short name of "Li" |
| (termFormat ChineseTraditionalLanguage Lithium "鋰") | domainEnglishFormat.kif 34748-34748 | Lithium is a conventional short name of "Li" |
| (termFormat EnglishLanguage Lithium "lithium") | domainEnglishFormat.kif 34747-34747 | Lithium is a conventional short name of "Li" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Lithium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 6.939 Amu))) |
Mid-level-ontology.kif 28419-28423 |
|
|
|
|