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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nobelium

 Sigma KEE - Nobelium
Nobelium

appearance as argument number 1
-------------------------


(atomicNumber Nobelium 102) Mid-level-ontology.kif 29090-29090
(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
(subclass Nobelium ElementalSubstance) Mid-level-ontology.kif 29087-29087

appearance as argument number 2
-------------------------


(conventionalShortName "No" Nobelium) Mid-level-ontology.kif 29089-29089
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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