Francium |
appearance as argument number 1 |
(atomicNumber Francium 87) | Mid-level-ontology.kif 28766-28766 | |
(boilingPoint Francium (MeasureFn 950.0 KelvinDegree)) |
Mid-level-ontology.kif 29342-29342 | |
(documentation Francium EnglishLanguage "Radioactive element, belongs to group 1 of the periodic table. Found in uranium and thorium ores. The 22 known isotopes are all radioactive, with the most stable being Fr-223. Its existence was confirmed in 1939 by Marguerite Perey.") | Mid-level-ontology.kif 28774-28777 | |
(externalImage Francium "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Fr-TableImage.png") | pictureList.kif 1766-1766 | |
(meltingPoint Francium (MeasureFn 300.0 KelvinDegree)) |
Mid-level-ontology.kif 29341-29341 | |
(names Francium "Francium") | Mid-level-ontology.kif 28764-28764 | |
(roomTempState Francium Solid) | Mid-level-ontology.kif 31533-31533 | |
(subclass Francium ElementalSubstance) | Mid-level-ontology.kif 28763-28763 |
appearance as argument number 2 |
(conventionalShortName "Fr" Francium) | Mid-level-ontology.kif 28765-28765 | |
(termFormat ChineseLanguage Francium "钫") | domainEnglishFormat.kif 24872-24872 | |
(termFormat ChineseTraditionalLanguage Francium "鈁") | domainEnglishFormat.kif 24871-24871 | |
(termFormat EnglishLanguage Francium "francium") | domainEnglishFormat.kif 24870-24870 |
antecedent |
(=> (and (instance ?ATOM Francium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 223 Amu))) |
Mid-level-ontology.kif 28768-28772 |