| Fermium(fermium)
| | Fm, atomic_number_100, fermium |
| appearance as argument number 1 |
|
|
| (atomicNumber Fermium 100) | Mid-level-ontology.kif 30120-30120 | 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 30128-30131 | 100 is an atomic number of fermium |
| (externalImage Fermium "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Fm_TableImage.png") | pictureList.kif 1754-1754 | 100 is an atomic number of fermium |
| (names Fermium "Fermium") | Mid-level-ontology.kif 30118-30118 | "Fermium" has name fermium |
| (subclass Fermium ElementalSubstance) | Mid-level-ontology.kif 30117-30117 | Fermium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Fm" Fermium) | Mid-level-ontology.kif 30119-30119 | Fermium is a conventional short name of "Fm" |
| (termFormat ChineseLanguage Fermium "镄") | domainEnglishFormat.kif 23524-23524 | Fermium is a conventional short name of "Fm" |
| (termFormat ChineseTraditionalLanguage Fermium "鐨") | domainEnglishFormat.kif 23523-23523 | Fermium is a conventional short name of "Fm" |
| (termFormat EnglishLanguage Fermium "fermium") | domainEnglishFormat.kif 23522-23522 | Fermium is a conventional short name of "Fm" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Fermium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 253 Amu))) |
Mid-level-ontology.kif 30122-30126 |
|
|
|
|