| Meitnerium(meitnerium)
|
| appearance as argument number 1 |
|
| (atomicNumber Meitnerium 109) | Mid-level-ontology.kif 29204-29204 | 109 is an atomic number of meitnerium |
| (documentation Meitnerium EnglishLanguage "Half-life of approximately 5ms. The creation of this element demonstrated that fusion techniques could indeed be used to make new, heavy nuclei. Made and identified by physicists of the Heavy Ion Research Laboratory, Darmstadt, West Germany in 1982. Named in honor of Lise Meitner the Austrian physicist.") | Mid-level-ontology.kif 29212-29216 | |
| (externalImage Meitnerium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Mt-TableImage.png") | pictureList.kif 1843-1843 | |
| (names Meitnerium "Meitnerium") | Mid-level-ontology.kif 29202-29202 | "Meitnerium" has name meitnerium |
| (subclass Meitnerium ElementalSubstance) | Mid-level-ontology.kif 29201-29201 | Meitnerium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Mt" Meitnerium) | Mid-level-ontology.kif 29203-29203 | Meitnerium is a conventional short name of "Mt" |
| (termFormat ChineseLanguage Meitnerium "䥑") | domainEnglishFormat.kif 36959-36959 | |
| (termFormat ChineseTraditionalLanguage Meitnerium "䥑") | domainEnglishFormat.kif 36958-36958 | |
| (termFormat EnglishLanguage Meitnerium "meitnerium") | domainEnglishFormat.kif 36957-36957 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Meitnerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 266 Amu))) |
Mid-level-ontology.kif 29206-29210 |
|
|
|
|