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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Meitnerium
Meitnerium

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


(atomicNumber Meitnerium 109) Mid-level-ontology.kif 29204-29204
(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 29212-29216
(externalImage Meitnerium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Mt-TableImage.png") pictureList.kif 1843-1843
(names Meitnerium "Meitnerium") Mid-level-ontology.kif 29202-29202
(subclass Meitnerium ElementalSubstance) Mid-level-ontology.kif 29201-29201

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


(conventionalShortName "Mt" Meitnerium) Mid-level-ontology.kif 29203-29203
(termFormat ChineseLanguage Meitnerium "䥑") domainEnglishFormat.kif 36959-36959
(termFormat ChineseTraditionalLanguage Meitnerium "䥑") domainEnglishFormat.kif 36958-36958
(termFormat EnglishLanguage Meitnerium "meitnerium") domainEnglishFormat.kif 36957-36957

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


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


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