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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fermium
Fermium

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


(atomicNumber Fermium 100) Mid-level-ontology.kif 29056-29056
(documentation Fermium EnglishLanguage "Radioactive metallic transuranic element, belongs to the actinoids. Ten known isotopes, most stable is Fm-257 with a half-life of 10 days. First identified by Albert Ghiorso and associates in the debris of the first hydrogen-bomb explosion in 1952.") Mid-level-ontology.kif 29064-29067
(externalImage Fermium "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Fm-TableImage.png") pictureList.kif 1755-1755
(names Fermium "Fermium") Mid-level-ontology.kif 29054-29054
(subclass Fermium ElementalSubstance) Mid-level-ontology.kif 29053-29053

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


(conventionalShortName "Fm" Fermium) Mid-level-ontology.kif 29055-29055
(termFormat ChineseLanguage Fermium "镄") domainEnglishFormat.kif 23510-23510
(termFormat ChineseTraditionalLanguage Fermium "鐨") domainEnglishFormat.kif 23509-23509
(termFormat EnglishLanguage Fermium "fermium") domainEnglishFormat.kif 23508-23508

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Fermium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 253 Amu)))
Mid-level-ontology.kif 29058-29062


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