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 30125-30125 atomicNumber Barium and 56
(boilingPoint Barium
    (MeasureFn 1913.0 KelvinDegree))
Mid-level-ontology.kif 31213-31213 boilingPoint Barium and 1913.0 の KelvinDegree(s)
(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 30133-30136 boilingPoint Barium and 1913.0 の KelvinDegree(s)
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/5/51/ Ba%2C56.jpg") pictureList.kif 2111-2111 boilingPoint Barium and 1913.0 の KelvinDegree(s)
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Ba_TableImage.png") pictureList.kif 1651-1651 boilingPoint Barium and 1913.0 の KelvinDegree(s)
(externalImage Barium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 51/ Ba%2C56.jpg/ 125px_Ba%2C56.jpg") pictureList.kif 1043-1043 boilingPoint Barium and 1913.0 の KelvinDegree(s)
(meltingPoint Barium
    (MeasureFn 998.0 KelvinDegree))
Mid-level-ontology.kif 31212-31212 meltingPoint Barium and 998.0 の KelvinDegree(s)
(names Barium "Barium") Mid-level-ontology.kif 30123-30123 "Barium" は Barium の &ames$"name" を 持って
(roomTempState Barium Solid) Mid-level-ontology.kif 33453-33453 roomTempState Barium and Solid
(subclass Barium ElementalSubstance) Mid-level-ontology.kif 30122-30122 Barium単体subclass では

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


(conventionalShortName "Ba" Barium) Mid-level-ontology.kif 30124-30124 conventionalShortName "Ba" and Barium
(termFormat ChineseLanguage Barium "钡") domainEnglishFormat.kif 9943-9943 conventionalShortName "Ba" and Barium
(termFormat ChineseTraditionalLanguage Barium "鋇") domainEnglishFormat.kif 9942-9942 conventionalShortName "Ba" and Barium
(termFormat EnglishLanguage Barium "barium") domainEnglishFormat.kif 9941-9941 conventionalShortName "Ba" and Barium

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


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


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