| Francium(francium)
| | Fr, atomic_number_87, francium |
| appearance as argument number 1 |
|
|
| (atomicNumber Francium 87) | Mid-level-ontology.kif 30699-30699 | 87 is an atomic number of francium |
| (boilingPoint Francium (MeasureFn 950.0 KelvinDegree)) |
Mid-level-ontology.kif 31275-31275 | 950.0 Kelvin degree(s) is a boiling point of francium |
| (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 30707-30710 | 950.0 Kelvin degree(s) is a boiling point of francium |
| (externalImage Francium "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Fr_TableImage.png") | pictureList.kif 1765-1765 | 950.0 Kelvin degree(s) is a boiling point of francium |
| (meltingPoint Francium (MeasureFn 300.0 KelvinDegree)) |
Mid-level-ontology.kif 31274-31274 | 300.0 Kelvin degree(s) is a melting point of francium |
| (names Francium "Francium") | Mid-level-ontology.kif 30697-30697 | "Francium" has &ames$"name" Francium |
| (roomTempState Francium Solid) | Mid-level-ontology.kif 33484-33484 | room temperature state francium and solid |
| (subclass Francium ElementalSubstance) | Mid-level-ontology.kif 30696-30696 | Francium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Fr" Francium) | Mid-level-ontology.kif 30698-30698 | Francium is a conventional short name of "Fr" |
| (termFormat ChineseLanguage Francium "钫") | domainEnglishFormat.kif 24883-24883 | Francium is a conventional short name of "Fr" |
| (termFormat ChineseTraditionalLanguage Francium "鈁") | domainEnglishFormat.kif 24882-24882 | Francium is a conventional short name of "Fr" |
| (termFormat EnglishLanguage Francium "francium") | domainEnglishFormat.kif 24881-24881 | Francium is a conventional short name of "Fr" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Francium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 223 Amu))) |
Mid-level-ontology.kif 30701-30705 |
|
|
|
|