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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meitnerium
Meitnerium(meitnerium)

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


(atomicNumber Meitnerium 109) Mid-level-ontology.kif 30268-30268 109 is an atomic number of meitnerium
(documentation Meitnerium EnglishLanguage "Half_life of approximately 5ms. The creation of this element demonstrated that fusion techniques could indeed be used to make new, heavy nuclei. Made and identified by physicists of the Heavy Ion Research Laboratory, Darmstadt, West Germany in 1982. Named in honor of Lise Meitner the Austrian physicist.") Mid-level-ontology.kif 30276-30280 109 is an atomic number of meitnerium
(externalImage Meitnerium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Mt_TableImage.png") pictureList.kif 1842-1842 109 is an atomic number of meitnerium
(names Meitnerium "Meitnerium") Mid-level-ontology.kif 30266-30266 "Meitnerium" has name meitnerium
(subclass Meitnerium ElementalSubstance) Mid-level-ontology.kif 30265-30265 Meitnerium is a subclass of elemental substance

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


(conventionalShortName "Mt" Meitnerium) Mid-level-ontology.kif 30267-30267 Meitnerium is a conventional short name of "Mt"
(termFormat ChineseLanguage Meitnerium "䥑") domainEnglishFormat.kif 36985-36985 Meitnerium is a conventional short name of "Mt"
(termFormat ChineseTraditionalLanguage Meitnerium "䥑") domainEnglishFormat.kif 36984-36984 Meitnerium is a conventional short name of "Mt"
(termFormat EnglishLanguage Meitnerium "meitnerium") domainEnglishFormat.kif 36983-36983 Meitnerium is a conventional short name of "Mt"

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


(=>
    (and
        (instance ?ATOM Meitnerium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 266 Amu)))
Mid-level-ontology.kif 30270-30274


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