Lithium
|
|
appearance as argument number 1 |
(atomicNumber Lithium 3) | Mid-level-ontology.kif 27302-27302 | 3 是 锂 的 atomic 数字 |
(boilingPoint Lithium (MeasureFn 1590.0 KelvinDegree)) |
Mid-level-ontology.kif 29186-29186 | 1590.0 凯文度 是 锂 的 boiling 点 |
(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 27310-27311 | |
(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 29185-29185 | 453.69 凯文度 是 锂 的 melting 点 |
(names Lithium "Lithium") | Mid-level-ontology.kif 27300-27300 | "Lithium" 的名 是 锂 |
(roomTempState Lithium Solid) | Mid-level-ontology.kif 31452-31452 | roomTempState 锂 and 固体 |
(subclass Lithium ElementalSubstance) | Mid-level-ontology.kif 27299-27299 | 锂 是 元素物质 的 subclass |
appearance as argument number 2 |
(conventionalShortName "Li" Lithium) | Mid-level-ontology.kif 27301-27301 | 锂 是 "Li" 的 conventional 简称 |
(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 27304-27308 |