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 28255-28255 56 是 atomic 數字
(boilingPoint Barium
    (MeasureFn 1913.0 KelvinDegree))
Mid-level-ontology.kif 29343-29343 測量 1913.0 and 凱文度boiling
(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 28263-28266
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/5/51/ Ba%2C56.jpg") pictureList.kif 2112-2112
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Ba-TableImage.png") pictureList.kif 1652-1652
(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 29342-29342 測量 998.0 and 凱文度melting
(names Barium "Barium") Mid-level-ontology.kif 28253-28253 and "Barium"
(roomTempState Barium Solid) Mid-level-ontology.kif 31538-31538 roomTempState and 固體
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 28252-28252 子類 and ElementalSubstance

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


(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28254-28254 是 "Ba" 的 conventional 簡稱
(termFormat ChineseLanguage Barium "钡") domainEnglishFormat.kif 9942-9942
(termFormat ChineseTraditionalLanguage Barium "鋇") domainEnglishFormat.kif 9941-9941
(termFormat EnglishLanguage Barium "barium") domainEnglishFormat.kif 9940-9940

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


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


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