|
|
   Unnilpentium
|
|
|
| appearance as argument number 1 |
|
|
| (atomicNumber Unnilpentium 105) | Mid-level-ontology.kif 29095-29095 | |
| (documentation Unnilpentium EnglishLanguage "Radioactive transactinide element. Half-life of 1.6s. Discovered in 1970 by Berkeley researchers. So far, seven isotopes have been discovered.") | Mid-level-ontology.kif 29103-29105 | |
| (externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Db-TableImage.png") | pictureList.kif 6947-6947 | |
| (externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ 257Db_decay_scheme.png") | pictureList.kif 8182-8182 | |
| (externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ Uup-TableImage.png") | pictureList.kif 2051-2051 | |
| (names Unnilpentium "Unnilpentium") | Mid-level-ontology.kif 29093-29093 | |
| (subclass Unnilpentium ElementalSubstance) | Mid-level-ontology.kif 29092-29092 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Unp" Unnilpentium) | Mid-level-ontology.kif 29094-29094 | |
| (termFormat ChineseLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60500-60500 | |
| (termFormat ChineseTraditionalLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60499-60499 | |
| (termFormat EnglishLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60498-60498 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Unnilpentium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 262 Amu))) |
Mid-level-ontology.kif 29097-29101 |
|
|
|
