|
|
   Unnilpentium
|
|
|
| appearance as argument number 1 |
|
|
| (atomicNumber Unnilpentium 105) | Mid-level-ontology.kif 29083-29083 | atomicNumber Unnilpentium and 105 |
| (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 29091-29093 | |
| (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 29081-29081 | "Unnilpentium" s'appele nom Unnilpentium |
| (subclass Unnilpentium ElementalSubstance) | Mid-level-ontology.kif 29080-29080 | Unnilpentium est une sous-classe de substance �l�mentaire |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Unp" Unnilpentium) | Mid-level-ontology.kif 29082-29082 | conventionalShortName "Unp" and Unnilpentium |
| (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 29085-29089 |
|
|
|
