![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(atomicNumber Astatine 85) | Mid-level-ontology.kif 30664-30664 | 85 is an atomic number of astatine |
(boilingPoint Astatine (MeasureFn 610.0 KelvinDegree)) |
Mid-level-ontology.kif 31271-31271 | 610.0 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 30672-30676 | 610.0 Kelvin degree(s) is a boiling point of astatine |
(externalImage Astatine "http://upload.wikimedia.org/wikipedia/commons/a/ a9/ At_TableImage.png") | pictureList.kif 1647-1647 | 610.0 Kelvin degree(s) is a boiling point of astatine |
(meltingPoint Astatine (MeasureFn 575.0 KelvinDegree)) |
Mid-level-ontology.kif 31270-31270 | 575.0 Kelvin degree(s) is a melting point of astatine |
(names Astatine "Astatine") | Mid-level-ontology.kif 30662-30662 | "Astatine" has &ames$"name" Astatine |
(roomTempState Astatine Solid) | Mid-level-ontology.kif 33482-33482 | room temperature state astatine and solid |
(subclass Astatine ElementalSubstance) | Mid-level-ontology.kif 30661-30661 | Astatine is a subclass of elemental substance |
appearance as argument number 2 |
![]() |
(conventionalShortName "At" Astatine) | Mid-level-ontology.kif 30663-30663 | Astatine is a conventional short name of "At" |
(termFormat ChineseLanguage Astatine "砹") | domainEnglishFormat.kif 8809-8809 | Astatine is a conventional short name of "At" |
(termFormat ChineseTraditionalLanguage Astatine "砹") | domainEnglishFormat.kif 8808-8808 | Astatine is a conventional short name of "At" |
(termFormat EnglishLanguage Astatine "astatine") | domainEnglishFormat.kif 8807-8807 | Astatine is a conventional short name of "At" |
antecedent |
![]() |
(=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu))) |
Mid-level-ontology.kif 30666-30670 |
|
![]() |
![]() |