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 |
|
![]() |
![]() |