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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Barium
Barium

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


(atomicNumber Barium 56) Mid-level-ontology.kif 26417-26417 atomicNumber Barium and 56
(boilingPoint Barium
    (MeasureFn 1913 KelvinDegree))
Mid-level-ontology.kif 27450-27450 boilingPoint Barium and MeasureFn 1913 and KelvinDegree
(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 26424-26427
(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 27449-27449 meltingPoint Barium and MeasureFn 998 and KelvinDegree
(names Barium "Barium") Mid-level-ontology.kif 26415-26415 names Barium and "Barium"
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 26414-26414 subclass Barium and ElementalSubstance

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


(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 26416-26416 conventionalShortName "Ba" and Barium
(termFormat ChineseLanguage Barium "钡") domainEnglishFormat.kif 9955-9955
(termFormat ChineseTraditionalLanguage Barium "鋇") domainEnglishFormat.kif 9954-9954
(termFormat EnglishLanguage Barium "barium") domainEnglishFormat.kif 9953-9953

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners