Barium(barium)![]() ![]() ![]() | ![]() | Ba, atomic_number_56, barium |
appearance as argument number 1 |
![]() |
(atomicNumber Barium 56) | Mid-level-ontology.kif 29882-29882 | 56 is an atomic number of barium |
(boilingPoint Barium (MeasureFn 1913.0 KelvinDegree)) |
Mid-level-ontology.kif 30970-30970 | 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 29890-29893 | 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 30969-30969 | 998.0 Kelvin degree(s) is a melting point of barium |
(names Barium "Barium") | Mid-level-ontology.kif 29880-29880 | "Barium" has name barium |
(roomTempState Barium Solid) | Mid-level-ontology.kif 33210-33210 | room temperature state barium and solid |
(subclass Barium ElementalSubstance) | Mid-level-ontology.kif 29879-29879 | Barium is a subclass of elemental substance |
appearance as argument number 2 |
![]() |
(conventionalShortName "Ba" Barium) | Mid-level-ontology.kif 29881-29881 | 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 29884-29888 |
|
![]() |
![]() |