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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Barium
Barium

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


(atomicNumber Barium 56) Mid-level-ontology.kif 29882-29882
(boilingPoint Barium
    (MeasureFn 1913.0 KelvinDegree))
Mid-level-ontology.kif 30970-30970
(documentation Barium EnglishLanguage "Silvery-white reactive element, belonging to group 2 of the periodic table. Soluble barium compounds are extremely poisonous. Identified in 1774 by Karl Scheele and extracted in 1808 by Humphry Davy.") Mid-level-ontology.kif 29890-29893
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/5/51/ Ba%2C56.jpg") pictureList.kif 2111-2111
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Ba_TableImage.png") pictureList.kif 1651-1651
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 51/ Ba%2C56.jpg/ 125px_Ba%2C56.jpg") pictureList.kif 1043-1043
(meltingPoint Barium
    (MeasureFn 998.0 KelvinDegree))
Mid-level-ontology.kif 30969-30969
(names Barium "Barium") Mid-level-ontology.kif 29880-29880
(roomTempState Barium Solid) Mid-level-ontology.kif 33210-33210
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 29879-29879

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


(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 29881-29881
(termFormat ChineseLanguage Barium "钡") domainEnglishFormat.kif 9949-9949
(termFormat ChineseTraditionalLanguage Barium "鋇") domainEnglishFormat.kif 9948-9948
(termFormat EnglishLanguage Barium "barium") domainEnglishFormat.kif 9947-9947

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


(=>
    (and
        (instance ?ATOM Barium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 137.34 Amu)))
Mid-level-ontology.kif 29884-29888


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