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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mendelevium
Mendelevium(mendelevium)
Md, Mv, atomic_number_101, mendelevium

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


(atomicNumber Mendelevium 101) Mid-level-ontology.kif 30136-30136 101 is an atomic number of mendelevium
(documentation Mendelevium EnglishLanguage "Radioactive metallic transuranic element. Belongs to the actinoid series. Only known isotope, Md-256 has a half_life of 1.3 hours. First identified by Glenn T. Seaborg, Albert Ghiorso and associates in 1955. Alternative name {unnilunium} has been proposed. Named after the 'inventor' of the periodic table, Dmitri Mendeleev.") Mid-level-ontology.kif 30144-30149 101 is an atomic number of mendelevium
(externalImage Mendelevium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Md_TableImage.png") pictureList.kif 1843-1843 101 is an atomic number of mendelevium
(names Mendelevium "Mendelevium") Mid-level-ontology.kif 30134-30134 "Mendelevium" has name mendelevium
(subclass Mendelevium ElementalSubstance) Mid-level-ontology.kif 30133-30133 Mendelevium is a subclass of elemental substance

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


(conventionalShortName "Md" Mendelevium) Mid-level-ontology.kif 30135-30135 Mendelevium is a conventional short name of "Md"
(termFormat ChineseLanguage Mendelevium "钔") domainEnglishFormat.kif 37093-37093 Mendelevium is a conventional short name of "Md"
(termFormat ChineseTraditionalLanguage Mendelevium "鍆") domainEnglishFormat.kif 37092-37092 Mendelevium is a conventional short name of "Md"
(termFormat EnglishLanguage Mendelevium "mendelevium") domainEnglishFormat.kif 37091-37091 Mendelevium is a conventional short name of "Md"

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


(=>
    (and
        (instance ?ATOM Mendelevium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 256 Amu)))
Mid-level-ontology.kif 30138-30142


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