| Francium
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Francium 87) | Mid-level-ontology.kif 28778-28778 | atomicNumber Francium and 87 |
| (boilingPoint Francium (MeasureFn 950.0 KelvinDegree)) |
Mid-level-ontology.kif 29354-29354 | boilingPoint Francium and 950.0 の KelvinDegree(s) |
| (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 28786-28789 | |
| (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 29353-29353 | meltingPoint Francium and 300.0 の KelvinDegree(s) |
| (names Francium "Francium") | Mid-level-ontology.kif 28776-28776 | "Francium" は Francium の name を 持って %n{ない} |
| (roomTempState Francium Solid) | Mid-level-ontology.kif 31537-31537 | roomTempState Francium and Solid |
| (subclass Francium ElementalSubstance) | Mid-level-ontology.kif 28775-28775 | Francium は 単体 の subclass では %n |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Fr" Francium) | Mid-level-ontology.kif 28777-28777 | conventionalShortName "Fr" and Francium |
| (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 28780-28784 |
|
|
|