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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mendelevium
Mendelevium

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


(atomicNumber Mendelevium 101) Mid-level-ontology.kif 29021-29021 atomicNumber Mendelevium and 101
(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 29029-29034
(externalImage Mendelevium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Md-TableImage.png") pictureList.kif 1844-1844
(names Mendelevium "Mendelevium") Mid-level-ontology.kif 29019-29019 "Mendelevium" は Mendeleviumname を 持って %n{ない}
(subclass Mendelevium ElementalSubstance) Mid-level-ontology.kif 29018-29018 Mendelevium単体subclass では %n

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


(conventionalShortName "Md" Mendelevium) Mid-level-ontology.kif 29020-29020 conventionalShortName "Md" and Mendelevium
(termFormat ChineseLanguage Mendelevium "钔") domainEnglishFormat.kif 37067-37067
(termFormat ChineseTraditionalLanguage Mendelevium "鍆") domainEnglishFormat.kif 37066-37066
(termFormat EnglishLanguage Mendelevium "mendelevium") domainEnglishFormat.kif 37065-37065

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


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


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