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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lithium
Lithium

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


(atomicNumber Lithium 3) Mid-level-ontology.kif 27586-27586
(boilingPoint Lithium
    (MeasureFn 1590.0 KelvinDegree))
Mid-level-ontology.kif 29470-29470
(documentation Lithium EnglishLanguage "Socket silvery metal. First member of group 1 of the periodic table. Lithium salts are used in psychomedicine.") Mid-level-ontology.kif 27594-27595
(externalImage Lithium "http://upload.wikimedia.org/wikipedia/commons/8/ 84/ Li-TableImage.svg") pictureList.kif 1835-1835
(meltingPoint Lithium
    (MeasureFn 453.69 KelvinDegree))
Mid-level-ontology.kif 29469-29469
(names Lithium "Lithium") Mid-level-ontology.kif 27584-27584
(roomTempState Lithium Solid) Mid-level-ontology.kif 31717-31717
(subclass Lithium ElementalSubstance) Mid-level-ontology.kif 27583-27583

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


(conventionalShortName "Li" Lithium) Mid-level-ontology.kif 27585-27585
(termFormat ChineseLanguage Lithium "锂") domainEnglishFormat.kif 34750-34750
(termFormat ChineseTraditionalLanguage Lithium "鋰") domainEnglishFormat.kif 34749-34749
(termFormat EnglishLanguage Lithium "lithium") domainEnglishFormat.kif 34748-34748

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


(=>
    (and
        (instance ?ATOM Lithium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 6.939 Amu)))
Mid-level-ontology.kif 27588-27592


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