Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nobelium
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners