| Unnilpentium(unnilpentium)
|
| appearance as argument number 1 |
|
| (atomicNumber Unnilpentium 105) | Mid-level-ontology.kif 30210-30210 | 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 30218-30220 | 105 is an atomic number of unnilpentium |
| (externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Db_TableImage.png") | pictureList.kif 6946-6946 | 105 is an atomic number of unnilpentium |
| (externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ 257Db_decay_scheme.png") | pictureList.kif 8181-8181 | 105 is an atomic number of unnilpentium |
| (externalImage Unnilpentium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ Uup_TableImage.png") | pictureList.kif 2050-2050 | 105 is an atomic number of unnilpentium |
| (names Unnilpentium "Unnilpentium") | Mid-level-ontology.kif 30208-30208 | "Unnilpentium" has name unnilpentium |
| (subclass Unnilpentium ElementalSubstance) | Mid-level-ontology.kif 30207-30207 | Unnilpentium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Unp" Unnilpentium) | Mid-level-ontology.kif 30209-30209 | Unnilpentium is a conventional short name of "Unp" |
| (termFormat ChineseLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60523-60523 | Unnilpentium is a conventional short name of "Unp" |
| (termFormat ChineseTraditionalLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60522-60522 | Unnilpentium is a conventional short name of "Unp" |
| (termFormat EnglishLanguage Unnilpentium "unnilpentium") | domainEnglishFormat.kif 60521-60521 | 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 30212-30216 |
|
|
|
|