|
|
   Lithium
|
|
|
| appearance as argument number 1 |
|
|
| (atomicNumber Lithium 3) | Mid-level-ontology.kif 27353-27353 | atomicNumber Lithium and 3 |
| (boilingPoint Lithium (MeasureFn 1590.0 KelvinDegree)) |
Mid-level-ontology.kif 29237-29237 | boilingPoint Lithium and 1590.0 KelvinDegree(s) |
| (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 27361-27362 | |
| (externalImage Lithium "http://upload.wikimedia.org/wikipedia/commons/8/ 84/ Li-TableImage.svg") | pictureList.kif 1836-1836 | |
| (meltingPoint Lithium (MeasureFn 453.69 KelvinDegree)) |
Mid-level-ontology.kif 29236-29236 | meltingPoint Lithium and 453.69 KelvinDegree(s) |
| (names Lithium "Lithium") | Mid-level-ontology.kif 27351-27351 | names Lithium and "Lithium" |
| (roomTempState Lithium Solid) | Mid-level-ontology.kif 31484-31484 | roomTempState Lithium and Solid |
| (subclass Lithium ElementalSubstance) | Mid-level-ontology.kif 27350-27350 | Lithium ist eine teilkategorie von ElementalSubstance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Li" Lithium) | Mid-level-ontology.kif 27352-27352 | conventionalShortName "Li" and Lithium |
| (termFormat ChineseLanguage Lithium "锂") | domainEnglishFormat.kif 34721-34721 | |
| (termFormat ChineseTraditionalLanguage Lithium "鋰") | domainEnglishFormat.kif 34720-34720 | |
| (termFormat EnglishLanguage Lithium "lithium") | domainEnglishFormat.kif 34719-34719 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Lithium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 6.939 Amu))) |
Mid-level-ontology.kif 27355-27359 |
|
|
|
|
