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 28993-28993
(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 29001-29004
(externalImage Fermium "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Fm-TableImage.png") pictureList.kif 1755-1755
(names Fermium "Fermium") Mid-level-ontology.kif 28991-28991
(subclass Fermium ElementalSubstance) Mid-level-ontology.kif 28990-28990

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


(conventionalShortName "Fm" Fermium) Mid-level-ontology.kif 28992-28992
(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 28995-28999


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