| Unnilpentium(unnilpentium)
|
| appearance as argument number 1 |
|
| (atomicNumber Unnilpentium 105) | Mid-level-ontology.kif 29379-29379 | 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 29387-29389 | 105 is an atomic number of unnilpentium |
| (externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Db-TableImage.png") | pictureList.kif 6947-6947 | 105 is an atomic number of unnilpentium |
| (externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ 257Db_decay_scheme.png") | pictureList.kif 8182-8182 | 105 is an atomic number of unnilpentium |
| (externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ Uup-TableImage.png") | pictureList.kif 2051-2051 | 105 is an atomic number of unnilpentium |
| (names Unnilpentium "Unnilpentium") | Mid-level-ontology.kif 29377-29377 | "Unnilpentium" has name unnilpentium |
| (subclass Unnilpentium ElementalSubstance) | Mid-level-ontology.kif 29376-29376 | Unnilpentium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Unp" Unnilpentium) | Mid-level-ontology.kif 29378-29378 | Unnilpentium is a conventional short name of "Unp" |
| (termFormat ChineseLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60548-60548 | Unnilpentium is a conventional short name of "Unp" |
| (termFormat ChineseTraditionalLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60547-60547 | Unnilpentium is a conventional short name of "Unp" |
| (termFormat EnglishLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60546-60546 | Unnilpentium is a conventional short name of "Unp" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Unnilpentium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 262 Amu))) |
Mid-level-ontology.kif 29381-29385 |
|
|
|
|