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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Barium

Sigma KEE - Barium
Barium(barium)
Ba, atomic_number_56, barium

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


(atomicNumber Barium 56) Mid-level-ontology.kif 26450-26450 56 is an atomic number of barium
(boilingPoint Barium
    (MeasureFn 1913 KelvinDegree))
Mid-level-ontology.kif 27483-27483 1913 Kelvin degree(s) is a boiling point of barium
(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 26457-26460
(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 KelvinDegree))
Mid-level-ontology.kif 27482-27482 998 Kelvin degree(s) is a melting point of barium
(names Barium "Barium") Mid-level-ontology.kif 26448-26448 "Barium" has name barium
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 26447-26447 Barium is a subclass of elemental substance

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


(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 26449-26449 Barium is a conventional short name of "Ba"
(termFormat ChineseLanguage Barium "钡") domainEnglishFormat.kif 9959-9959
(termFormat ChineseTraditionalLanguage Barium "鋇") domainEnglishFormat.kif 9958-9958
(termFormat EnglishLanguage Barium "barium") domainEnglishFormat.kif 9957-9957

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


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


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