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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fermium
Fermium(fermium)
Fm, atomic_number_100, fermium

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


(atomicNumber Fermium 100) Mid-level-ontology.kif 29005-29005 100 is an atomic number of fermium
(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 29013-29016
(externalImage Fermium "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Fm-TableImage.png") pictureList.kif 1755-1755
(names Fermium "Fermium") Mid-level-ontology.kif 29003-29003 "Fermium" has name fermium
(subclass Fermium ElementalSubstance) Mid-level-ontology.kif 29002-29002 Fermium is a subclass of elemental substance

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


(conventionalShortName "Fm" Fermium) Mid-level-ontology.kif 29004-29004 Fermium is a conventional short name of "Fm"
(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 29007-29011


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