| Praseodymium(praseodymium)
| | Pr, atomic_number_59, praseodymium |
| appearance as argument number 1 |
|
|
| (atomicNumber Praseodymium 59) | Mid-level-ontology.kif 28308-28308 | 59 is an atomic number of praseodymium |
| (boilingPoint Praseodymium (MeasureFn 3485.0 KelvinDegree)) |
Mid-level-ontology.kif 29349-29349 | 3485.0 Kelvin degree(s) is a boiling point of praseodymium |
| (documentation Praseodymium EnglishLanguage "Soft silvery metallic element, belongs to the lanthanoids. Only natural isotope is Pr-141 which is not radioactive. Fourteen radioactive isotopes have been artificially produced. Used in rare-earth alloys. Discovered in 1885 by C.A. von Welsbach.") | Mid-level-ontology.kif 28316-28319 | |
| (externalImage Praseodymium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Pr-TableImage.png") | pictureList.kif 1934-1934 | |
| (externalImage Praseodymium "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ Pr%2C59.jpg") | pictureList.kif 2322-2322 | |
| (externalImage Praseodymium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e0/ Pr%2C59.jpg/ 125px-Pr%2C59.jpg") | pictureList.kif 1219-1219 | |
| (meltingPoint Praseodymium (MeasureFn 1204.0 KelvinDegree)) |
Mid-level-ontology.kif 29348-29348 | 1204.0 Kelvin degree(s) is a melting point of praseodymium |
| (names Praseodymium "Praseodymium") | Mid-level-ontology.kif 28306-28306 | "Praseodymium" has name praseodymium |
| (roomTempState Praseodymium Solid) | Mid-level-ontology.kif 31541-31541 | roomTempState praseodymium and solid |
| (subclass Praseodymium ElementalSubstance) | Mid-level-ontology.kif 28305-28305 | Praseodymium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Pr" Praseodymium) | Mid-level-ontology.kif 28307-28307 | Praseodymium is a conventional short name of "Pr" |
| (termFormat ChineseLanguage Praseodymium "镨") | domainEnglishFormat.kif 47092-47092 | |
| (termFormat ChineseTraditionalLanguage Praseodymium "镨") | domainEnglishFormat.kif 47091-47091 | |
| (termFormat EnglishLanguage Praseodymium "praseodymium") | domainEnglishFormat.kif 47090-47090 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Praseodymium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.907 Amu))) |
Mid-level-ontology.kif 28310-28314 |
|
|
|
|