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 29319-29319 56 is an atomic number of barium
(boilingPoint Barium
    (MeasureFn 1913.0 KelvinDegree))
Mid-level-ontology.kif 30407-30407 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 29327-29330 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 2111-2111 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 1651-1651 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 30406-30406 998.0 Kelvin degree(s) is a melting point of barium
(names Barium "Barium") Mid-level-ontology.kif 29317-29317 "Barium" has name barium
(roomTempState Barium Solid) Mid-level-ontology.kif 32629-32629 roomTempState barium and solid
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 29316-29316 Barium is a subclass of elemental substance

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


(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 29318-29318 Barium is a conventional short name of "Ba"
(termFormat ChineseLanguage Barium "钡") domainEnglishFormat.kif 9949-9949 Barium is a conventional short name of "Ba"
(termFormat ChineseTraditionalLanguage Barium "鋇") domainEnglishFormat.kif 9948-9948 Barium is a conventional short name of "Ba"
(termFormat EnglishLanguage Barium "barium") domainEnglishFormat.kif 9947-9947 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 29321-29325


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