|
|
   Astatine
|
|
|
| appearance as argument number 1 |
|
|
| (atomicNumber Astatine 85) | Mid-level-ontology.kif 26960-26960 | 85 is an atomic number of astatine |
| (boilingPoint Astatine (MeasureFn 610 KelvinDegree)) |
Mid-level-ontology.kif 27541-27541 | 610 Kelvin degree(s) is a boiling point of astatine |
| (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 26967-26971 | |
| (externalImage Astatine "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ At-TableImage.png") | pictureList.kif 1649-1649 | |
| (meltingPoint Astatine (MeasureFn 575 KelvinDegree)) |
Mid-level-ontology.kif 27540-27540 | 575 Kelvin degree(s) is a melting point of astatine |
| (names Astatine "Astatine") | Mid-level-ontology.kif 26958-26958 | "Astatine" has name astatine |
| (subclass Astatine ElementalSubstance) | Mid-level-ontology.kif 26957-26957 | Astatine is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "At" Astatine) | Mid-level-ontology.kif 26959-26959 | Astatine is a conventional short name of "At" |
| (termFormat ChineseLanguage Astatine "砹") | domainEnglishFormat.kif 8819-8819 | |
| (termFormat ChineseTraditionalLanguage Astatine "砹") | domainEnglishFormat.kif 8818-8818 | |
| (termFormat EnglishLanguage Astatine "astatine") | domainEnglishFormat.kif 8817-8817 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu))) |
Mid-level-ontology.kif 26961-26965 |
|
|
|
|
