| Astatine
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Astatine 85) | Mid-level-ontology.kif 30662-30662 | atomicNumber Astatine and 85 |
| (boilingPoint Astatine (MeasureFn 610.0 KelvinDegree)) |
Mid-level-ontology.kif 31269-31269 | boilingPoint Astatine and 610.0 KelvinDegree(s) |
| (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 30670-30674 | boilingPoint Astatine and 610.0 KelvinDegree(s) |
| (externalImage Astatine "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ At_TableImage.png") | pictureList.kif 1647-1647 | boilingPoint Astatine and 610.0 KelvinDegree(s) |
| (meltingPoint Astatine (MeasureFn 575.0 KelvinDegree)) |
Mid-level-ontology.kif 31268-31268 | meltingPoint Astatine and 575.0 KelvinDegree(s) |
| (names Astatine "Astatine") | Mid-level-ontology.kif 30660-30660 | "Astatine" s'appele &ames$"nom" Astatine |
| (roomTempState Astatine Solid) | Mid-level-ontology.kif 33480-33480 | roomTempState Astatine and Solid |
| (subclass Astatine ElementalSubstance) | Mid-level-ontology.kif 30659-30659 | Astatine est une sous-classe de substance �l�mentaire |
| appearance as argument number 2 |
|
|
| (conventionalShortName "At" Astatine) | Mid-level-ontology.kif 30661-30661 | conventionalShortName "At" and Astatine |
| (termFormat ChineseLanguage Astatine "砹") | domainEnglishFormat.kif 8809-8809 | conventionalShortName "At" and Astatine |
| (termFormat ChineseTraditionalLanguage Astatine "砹") | domainEnglishFormat.kif 8808-8808 | conventionalShortName "At" and Astatine |
| (termFormat EnglishLanguage Astatine "astatine") | domainEnglishFormat.kif 8807-8807 | conventionalShortName "At" and Astatine |
| antecedent |
|
|
| (=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu))) |
Mid-level-ontology.kif 30664-30668 |
|
|
|