| Mendelevium(mendelevium)
| | Md, Mv, atomic_number_101, mendelevium |
| appearance as argument number 1 |
|
|
| (atomicNumber Mendelevium 101) | Mid-level-ontology.kif 29072-29072 | 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 29080-29085 | |
| (externalImage Mendelevium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Md-TableImage.png") | pictureList.kif 1844-1844 | |
| (names Mendelevium "Mendelevium") | Mid-level-ontology.kif 29070-29070 | "Mendelevium" has name mendelevium |
| (subclass Mendelevium ElementalSubstance) | Mid-level-ontology.kif 29069-29069 | Mendelevium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Md" Mendelevium) | Mid-level-ontology.kif 29071-29071 | Mendelevium is a conventional short name of "Md" |
| (termFormat ChineseLanguage Mendelevium "钔") | domainEnglishFormat.kif 37067-37067 | |
| (termFormat ChineseTraditionalLanguage Mendelevium "鍆") | domainEnglishFormat.kif 37066-37066 | |
| (termFormat EnglishLanguage Mendelevium "mendelevium") | domainEnglishFormat.kif 37065-37065 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Mendelevium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 256 Amu))) |
Mid-level-ontology.kif 29074-29078 |
|
|
|
|