| Mendelevium(mendelevium)
| | Md, Mv, atomic_number_101, mendelevium |
| appearance as argument number 1 |
|
|
| (atomicNumber Mendelevium 101) | Mid-level-ontology.kif 30699-30699 | 101 is an atomic number of mendelevium |
| (documentation Mendelevium EnglishLanguage "Radioactive metallic transuranic element. Belongs to the actinoid series. Only known isotope, Md-256 has a half-life of 1.3 hours. First identified by Glenn T. Seaborg, Albert Ghiorso and associates in 1955. Alternative name {unnilunium} has been proposed. Named after the 'inventor' of the periodic table, Dmitri Mendeleev.") | Mid-level-ontology.kif 30707-30712 | 101 is an atomic number of mendelevium |
| (externalImage Mendelevium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Md_TableImage.png") | pictureList.kif 1843-1843 | 101 is an atomic number of mendelevium |
| (names Mendelevium "Mendelevium") | Mid-level-ontology.kif 30697-30697 | "Mendelevium" has name mendelevium |
| (subclass Mendelevium ElementalSubstance) | Mid-level-ontology.kif 30696-30696 | Mendelevium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Md" Mendelevium) | Mid-level-ontology.kif 30698-30698 | Mendelevium is a conventional short name of "Md" |
| (termFormat ChineseLanguage Mendelevium "钔") | domainEnglishFormat.kif 37093-37093 | Mendelevium is a conventional short name of "Md" |
| (termFormat ChineseTraditionalLanguage Mendelevium "鍆") | domainEnglishFormat.kif 37092-37092 | Mendelevium is a conventional short name of "Md" |
| (termFormat EnglishLanguage Mendelevium "mendelevium") | domainEnglishFormat.kif 37091-37091 | Mendelevium is a conventional short name of "Md" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Mendelevium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 256 Amu))) |
Mid-level-ontology.kif 30701-30705 |
|
|
|
|