| Unniloctium(unniloctium)
|
| appearance as argument number 1 |
|
| (atomicNumber Unniloctium 108) | Mid-level-ontology.kif 30818-30818 | 108 is an atomic number of unniloctium |
| (documentation Unniloctium EnglishLanguage "Radioactive transition metal.") | Mid-level-ontology.kif 30826-30826 | 108 is an atomic number of unniloctium |
| (externalImage Unniloctium "http://upload.wikimedia.org/wikipedia/commons/ 6/ 67/ Hs_TableImage.png") | pictureList.kif 6945-6945 | 108 is an atomic number of unniloctium |
| (names Unniloctium "Unniloctium") | Mid-level-ontology.kif 30816-30816 | "Unniloctium" has name unniloctium |
| (subclass Unniloctium ElementalSubstance) | Mid-level-ontology.kif 30815-30815 | Unniloctium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Uno" Unniloctium) | Mid-level-ontology.kif 30817-30817 | Unniloctium is a conventional short name of "Uno" |
| (termFormat ChineseLanguage Unniloctium "unniloctium") | domainEnglishFormat.kif 60517-60517 | Unniloctium is a conventional short name of "Uno" |
| (termFormat ChineseTraditionalLanguage Unniloctium "unniloctium") | domainEnglishFormat.kif 60516-60516 | Unniloctium is a conventional short name of "Uno" |
| (termFormat EnglishLanguage Unniloctium "unniloctium") | domainEnglishFormat.kif 60515-60515 | Unniloctium is a conventional short name of "Uno" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Unniloctium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 265 Amu))) |
Mid-level-ontology.kif 30820-30824 |
|
|
|
|