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 29039-29039
(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 29047-29051
(externalImage Nobelium "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ No-TableImage.png") pictureList.kif 1869-1869
(names Nobelium "Nobelium") Mid-level-ontology.kif 29037-29037
(subclass Nobelium ElementalSubstance) Mid-level-ontology.kif 29036-29036

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


(conventionalShortName "No" Nobelium) Mid-level-ontology.kif 29038-29038
(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 29041-29045


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