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 29305-29305 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 29313-29318 101 is an atomic number of mendelevium
(externalImage Mendelevium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Md-TableImage.png") pictureList.kif 1844-1844 101 is an atomic number of mendelevium
(names Mendelevium "Mendelevium") Mid-level-ontology.kif 29303-29303 "Mendelevium" has name mendelevium
(subclass Mendelevium ElementalSubstance) Mid-level-ontology.kif 29302-29302 Mendelevium is a subclass of elemental substance

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


(conventionalShortName "Md" Mendelevium) Mid-level-ontology.kif 29304-29304 Mendelevium is a conventional short name of "Md"
(termFormat ChineseLanguage Mendelevium "钔") domainEnglishFormat.kif 37101-37101 Mendelevium is a conventional short name of "Md"
(termFormat ChineseTraditionalLanguage Mendelevium "鍆") domainEnglishFormat.kif 37100-37100 Mendelevium is a conventional short name of "Md"
(termFormat EnglishLanguage Mendelevium "mendelevium") domainEnglishFormat.kif 37099-37099 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 29307-29311


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