Astatine
|
|
appearance as argument number 1 |
(atomicNumber Astatine 85) | Mid-level-ontology.kif 28743-28743 | 85 是 砹 的 atomic 数字 |
(boilingPoint Astatine (MeasureFn 610.0 KelvinDegree)) |
Mid-level-ontology.kif 29350-29350 | 610.0 凯文度 是 砹 的 boiling 点 |
(documentation Astatine EnglishLanguage "Radioactive halogen element. Occurs naturally from uranium and thorium decay. At least 20 known isotopes. At-210, the most stable, has a half-life of 8.3 hours. Synthesized by nuclear bombardment in 1940 by D.R. Corson, K.R. MacKenzie and E. Segre at the University of California.") | Mid-level-ontology.kif 28751-28755 | |
(externalImage Astatine "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ At-TableImage.png") | pictureList.kif 1648-1648 | |
(meltingPoint Astatine (MeasureFn 575.0 KelvinDegree)) |
Mid-level-ontology.kif 29349-29349 | 575.0 凯文度 是 砹 的 melting 点 |
(names Astatine "Astatine") | Mid-level-ontology.kif 28741-28741 | "Astatine" 的名 是 砹 |
(roomTempState Astatine Solid) | Mid-level-ontology.kif 31535-31535 | roomTempState 砹 and 固体 |
(subclass Astatine ElementalSubstance) | Mid-level-ontology.kif 28740-28740 | 砹 是 元素物质 的 subclass |
appearance as argument number 2 |
(conventionalShortName "At" Astatine) | Mid-level-ontology.kif 28742-28742 | 砹 是 "At" 的 conventional 简称 |
(termFormat ChineseLanguage Astatine "砹") | domainEnglishFormat.kif 8808-8808 | |
(termFormat ChineseTraditionalLanguage Astatine "砹") | domainEnglishFormat.kif 8807-8807 | |
(termFormat EnglishLanguage Astatine "astatine") | domainEnglishFormat.kif 8806-8806 |
antecedent |
(=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu))) |
Mid-level-ontology.kif 28745-28749 |