| Unniloctium(unniloctium)
|
| appearance as argument number 1 |
|
| (atomicNumber Unniloctium 108) | Mid-level-ontology.kif 30255-30255 | 108 is an atomic number of unniloctium |
| (documentation Unniloctium EnglishLanguage "Radioactive transition metal.") | Mid-level-ontology.kif 30263-30263 | 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 30253-30253 | "Unniloctium" has name unniloctium |
| (subclass Unniloctium ElementalSubstance) | Mid-level-ontology.kif 30252-30252 | Unniloctium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Uno" Unniloctium) | Mid-level-ontology.kif 30254-30254 | 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 30257-30261 |
|
|
|
|