| Unnilpentium(unnilpentium)
|
| appearance as argument number 1 |
|
| (atomicNumber Unnilpentium 105) | Mid-level-ontology.kif 29146-29146 | 105 is an atomic number of unnilpentium |
| (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 29154-29156 | |
| (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 29144-29144 | "Unnilpentium" has name unnilpentium |
| (subclass Unnilpentium ElementalSubstance) | Mid-level-ontology.kif 29143-29143 | Unnilpentium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Unp" Unnilpentium) | Mid-level-ontology.kif 29145-29145 | Unnilpentium is a conventional short name of "Unp" |
| (termFormat ChineseLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60502-60502 | |
| (termFormat ChineseTraditionalLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60501-60501 | |
| (termFormat EnglishLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60500-60500 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Unnilpentium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 262 Amu))) |
Mid-level-ontology.kif 29148-29152 |
|
|
|
|