Fermium(fermium) | Fm, atomic_number_100, fermium |
appearance as argument number 1 |
(atomicNumber Fermium 100) | Mid-level-ontology.kif 29056-29056 | 100 is an atomic number of fermium |
(documentation Fermium EnglishLanguage "Radioactive metallic transuranic element, belongs to the actinoids. Ten known isotopes, most stable is Fm-257 with a half-life of 10 days. First identified by Albert Ghiorso and associates in the debris of the first hydrogen-bomb explosion in 1952.") | Mid-level-ontology.kif 29064-29067 | |
(externalImage Fermium "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Fm-TableImage.png") | pictureList.kif 1755-1755 | |
(names Fermium "Fermium") | Mid-level-ontology.kif 29054-29054 | "Fermium" has name fermium |
(subclass Fermium ElementalSubstance) | Mid-level-ontology.kif 29053-29053 | Fermium is a subclass of elemental substance |
appearance as argument number 2 |
(conventionalShortName "Fm" Fermium) | Mid-level-ontology.kif 29055-29055 | Fermium is a conventional short name of "Fm" |
(termFormat ChineseLanguage Fermium "镄") | domainEnglishFormat.kif 23510-23510 | |
(termFormat ChineseTraditionalLanguage Fermium "鐨") | domainEnglishFormat.kif 23509-23509 | |
(termFormat EnglishLanguage Fermium "fermium") | domainEnglishFormat.kif 23508-23508 |
antecedent |
(=> (and (instance ?ATOM Fermium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 253 Amu))) |
Mid-level-ontology.kif 29058-29062 |
|