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 29437-29437 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 29445-29449 109 is an atomic number of meitnerium
(externalImage Meitnerium "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Mt-TableImage.png") pictureList.kif 1843-1843 109 is an atomic number of meitnerium
(names Meitnerium "Meitnerium") Mid-level-ontology.kif 29435-29435 "Meitnerium" has name meitnerium
(subclass Meitnerium ElementalSubstance) Mid-level-ontology.kif 29434-29434 Meitnerium is a subclass of elemental substance

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


(conventionalShortName "Mt" Meitnerium) Mid-level-ontology.kif 29436-29436 Meitnerium is a conventional short name of "Mt"
(termFormat ChineseLanguage Meitnerium "䥑") domainEnglishFormat.kif 36993-36993 Meitnerium is a conventional short name of "Mt"
(termFormat ChineseTraditionalLanguage Meitnerium "䥑") domainEnglishFormat.kif 36992-36992 Meitnerium is a conventional short name of "Mt"
(termFormat EnglishLanguage Meitnerium "meitnerium") domainEnglishFormat.kif 36991-36991 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 29439-29443


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