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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lithium

Sigma KEE - Lithium
Lithium

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


(atomicNumber Lithium 3) Mid-level-ontology.kif 27302-27302
(boilingPoint Lithium
    (MeasureFn 1590.0 KelvinDegree))
Mid-level-ontology.kif 29186-29186
(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 27310-27311
(externalImage Lithium "http://upload.wikimedia.org/wikipedia/commons/8/ 84/ Li-TableImage.svg") pictureList.kif 1836-1836
(meltingPoint Lithium
    (MeasureFn 453.69 KelvinDegree))
Mid-level-ontology.kif 29185-29185
(names Lithium "Lithium") Mid-level-ontology.kif 27300-27300
(roomTempState Lithium Solid) Mid-level-ontology.kif 31452-31452
(subclass Lithium ElementalSubstance) Mid-level-ontology.kif 27299-27299

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


(conventionalShortName "Li" Lithium) Mid-level-ontology.kif 27301-27301
(termFormat ChineseLanguage Lithium "锂") domainEnglishFormat.kif 34721-34721
(termFormat ChineseTraditionalLanguage Lithium "鋰") domainEnglishFormat.kif 34720-34720
(termFormat EnglishLanguage Lithium "lithium") domainEnglishFormat.kif 34719-34719

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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