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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Barium

Sigma KEE - Barium
Barium

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


(atomicNumber Barium 56) Mid-level-ontology.kif 28120-28120
(boilingPoint Barium
    (MeasureFn 1913.0 KelvinDegree))
Mid-level-ontology.kif 29208-29208
(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 28128-28131
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/5/51/ Ba%2C56.jpg") pictureList.kif 2113-2113
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Ba-TableImage.png") pictureList.kif 1653-1653
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 51/ Ba%2C56.jpg/ 125px-Ba%2C56.jpg") pictureList.kif 1044-1044
(meltingPoint Barium
    (MeasureFn 998.0 KelvinDegree))
Mid-level-ontology.kif 29207-29207
(names Barium "Barium") Mid-level-ontology.kif 28118-28118
(roomTempState Barium Solid) Mid-level-ontology.kif 31417-31417
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 28117-28117

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


(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28119-28119
(termFormat ChineseLanguage Barium "钡") domainEnglishFormat.kif 9946-9946
(termFormat ChineseTraditionalLanguage Barium "鋇") domainEnglishFormat.kif 9945-9945
(termFormat EnglishLanguage Barium "barium") domainEnglishFormat.kif 9944-9944

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


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


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