| Nobelium(nobelium)
| | No, atomic_number_102, nobelium |
| appearance as argument number 1 |
|
|
| (atomicNumber Nobelium 102) | Mid-level-ontology.kif 29323-29323 | 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 29331-29335 | 102 is an atomic number of nobelium |
| (externalImage Nobelium "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ No-TableImage.png") | pictureList.kif 1869-1869 | 102 is an atomic number of nobelium |
| (names Nobelium "Nobelium") | Mid-level-ontology.kif 29321-29321 | "Nobelium" has name nobelium |
| (subclass Nobelium ElementalSubstance) | Mid-level-ontology.kif 29320-29320 | Nobelium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "No" Nobelium) | Mid-level-ontology.kif 29322-29322 | Nobelium is a conventional short name of "No" |
| (termFormat ChineseLanguage Nobelium "锘") | domainEnglishFormat.kif 40697-40697 | Nobelium is a conventional short name of "No" |
| (termFormat ChineseTraditionalLanguage Nobelium "锘") | domainEnglishFormat.kif 40696-40696 | Nobelium is a conventional short name of "No" |
| (termFormat EnglishLanguage Nobelium "nobelium") | domainEnglishFormat.kif 40695-40695 | Nobelium is a conventional short name of "No" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Nobelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 254 Amu))) |
Mid-level-ontology.kif 29325-29329 |
|
|
|
|