| Unniloctium(unniloctium)
|
| appearance as argument number 1 |
|
| (atomicNumber Unniloctium 108) | Mid-level-ontology.kif 29424-29424 | 108 is an atomic number of unniloctium |
| (documentation Unniloctium EnglishLanguage "Radioactive transition metal.") | Mid-level-ontology.kif 29432-29432 | 108 is an atomic number of unniloctium |
| (externalImage Unniloctium "http://upload.wikimedia.org/wikipedia/commons/ 6/ 67/ Hs-TableImage.png") | pictureList.kif 6946-6946 | 108 is an atomic number of unniloctium |
| (names Unniloctium "Unniloctium") | Mid-level-ontology.kif 29422-29422 | "Unniloctium" has name unniloctium |
| (subclass Unniloctium ElementalSubstance) | Mid-level-ontology.kif 29421-29421 | Unniloctium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Uno" Unniloctium) | Mid-level-ontology.kif 29423-29423 | Unniloctium is a conventional short name of "Uno" |
| (termFormat ChineseLanguage Unniloctium "unniloctium") | domainEnglishFormat.kif 60542-60542 | Unniloctium is a conventional short name of "Uno" |
| (termFormat ChineseTraditionalLanguage Unniloctium "unniloctium") | domainEnglishFormat.kif 60541-60541 | Unniloctium is a conventional short name of "Uno" |
| (termFormat EnglishLanguage Unniloctium "unniloctium") | domainEnglishFormat.kif 60540-60540 | 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 29426-29430 |
|
|
|
|