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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(atomicNumber Barium 56) Mid-level-ontology.kif 28488-28488 56 is an atomic number of barium
(boilingPoint Barium
    (MeasureFn 1913.0 KelvinDegree))
Mid-level-ontology.kif 29576-29576 1913.0 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 28496-28499 1913.0 Kelvin degree(s) is a boiling point of barium
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/5/51/ Ba%2C56.jpg") pictureList.kif 2112-2112 1913.0 Kelvin degree(s) is a boiling point of barium
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Ba-TableImage.png") pictureList.kif 1652-1652 1913.0 Kelvin degree(s) is a boiling point of barium
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 51/ Ba%2C56.jpg/ 125px-Ba%2C56.jpg") pictureList.kif 1043-1043 1913.0 Kelvin degree(s) is a boiling point of barium
(meltingPoint Barium
    (MeasureFn 998.0 KelvinDegree))
Mid-level-ontology.kif 29575-29575 998.0 Kelvin degree(s) is a melting point of barium
(names Barium "Barium") Mid-level-ontology.kif 28486-28486 "Barium" has name barium
(roomTempState Barium Solid) Mid-level-ontology.kif 31771-31771 roomTempState barium and solid
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 28485-28485 Barium is a subclass of elemental substance

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


(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 28487-28487 Barium is a conventional short name of "Ba"
(termFormat ChineseLanguage Barium "钡") domainEnglishFormat.kif 9950-9950 Barium is a conventional short name of "Ba"
(termFormat ChineseTraditionalLanguage Barium "鋇") domainEnglishFormat.kif 9949-9949 Barium is a conventional short name of "Ba"
(termFormat EnglishLanguage Barium "barium") domainEnglishFormat.kif 9948-9948 Barium is a conventional short name of "Ba"

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


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


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