| Nobelium(nobelium)
| | No, atomic_number_102, nobelium |
| appearance as argument number 1 |
|
|
| (atomicNumber Nobelium 102) | Mid-level-ontology.kif 30154-30154 | 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 30162-30166 | 102 is an atomic number of nobelium |
| (externalImage Nobelium "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ No_TableImage.png") | pictureList.kif 1868-1868 | 102 is an atomic number of nobelium |
| (names Nobelium "Nobelium") | Mid-level-ontology.kif 30152-30152 | "Nobelium" has name nobelium |
| (subclass Nobelium ElementalSubstance) | Mid-level-ontology.kif 30151-30151 | Nobelium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "No" Nobelium) | Mid-level-ontology.kif 30153-30153 | Nobelium is a conventional short name of "No" |
| (termFormat ChineseLanguage Nobelium "锘") | domainEnglishFormat.kif 40689-40689 | Nobelium is a conventional short name of "No" |
| (termFormat ChineseTraditionalLanguage Nobelium "锘") | domainEnglishFormat.kif 40688-40688 | Nobelium is a conventional short name of "No" |
| (termFormat EnglishLanguage Nobelium "nobelium") | domainEnglishFormat.kif 40687-40687 | 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 30156-30160 |
|
|
|
|