| Nobelium(nobelium)
| | No, atomic_number_102, nobelium |
| appearance as argument number 1 |
|
|
| (atomicNumber Nobelium 102) | Mid-level-ontology.kif 29090-29090 | 102 is an atomic number of nobelium |
| (documentation Nobelium EnglishLanguage "Radioactive metallic transuranic element, belongs to the actinoids. Seven known isotopes exist, the most stable being No-254 with a half-life of 255 seconds. First identified with certainty by Albert Ghiorso and Glenn T. Seaborg in 1966. {Unnilbium} has been proposed as an alternative name.") | Mid-level-ontology.kif 29098-29102 | |
| (externalImage Nobelium "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ No-TableImage.png") | pictureList.kif 1869-1869 | |
| (names Nobelium "Nobelium") | Mid-level-ontology.kif 29088-29088 | "Nobelium" has name nobelium |
| (subclass Nobelium ElementalSubstance) | Mid-level-ontology.kif 29087-29087 | Nobelium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "No" Nobelium) | Mid-level-ontology.kif 29089-29089 | Nobelium is a conventional short name of "No" |
| (termFormat ChineseLanguage Nobelium "锘") | domainEnglishFormat.kif 40661-40661 | |
| (termFormat ChineseTraditionalLanguage Nobelium "锘") | domainEnglishFormat.kif 40660-40660 | |
| (termFormat EnglishLanguage Nobelium "nobelium") | domainEnglishFormat.kif 40659-40659 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Nobelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 254 Amu))) |
Mid-level-ontology.kif 29092-29096 |
|
|
|
|