| Nobelium(nobelium)
| | No, atomic_number_102, nobelium |
| appearance as argument number 1 |
|
|
| (atomicNumber Nobelium 102) | Mid-level-ontology.kif 29027-29027 | 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 29035-29039 | |
| (externalImage Nobelium "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ No-TableImage.png") | pictureList.kif 1869-1869 | |
| (names Nobelium "Nobelium") | Mid-level-ontology.kif 29025-29025 | "Nobelium" has name nobelium |
| (subclass Nobelium ElementalSubstance) | Mid-level-ontology.kif 29024-29024 | Nobelium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "No" Nobelium) | Mid-level-ontology.kif 29026-29026 | Nobelium is a conventional short name of "No" |
| (termFormat ChineseLanguage Nobelium "锘") | domainEnglishFormat.kif 40659-40659 | |
| (termFormat ChineseTraditionalLanguage Nobelium "锘") | domainEnglishFormat.kif 40658-40658 | |
| (termFormat EnglishLanguage Nobelium "nobelium") | domainEnglishFormat.kif 40657-40657 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Nobelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 254 Amu))) |
Mid-level-ontology.kif 29029-29033 |
|
|
|
|