| Barium(barium)
| | Ba, atomic_number_56, barium |
| appearance as argument number 1 |
|
|
| (atomicNumber Barium 56) | Mid-level-ontology.kif 30123-30123 | 56 is an atomic number of barium |
| (boilingPoint Barium (MeasureFn 1913.0 KelvinDegree)) |
Mid-level-ontology.kif 31211-31211 | 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 30131-30134 | 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 31210-31210 | 998.0 Kelvin degree(s) is a melting point of barium |
| (names Barium "Barium") | Mid-level-ontology.kif 30121-30121 | "Barium" has &ames$"name" Barium |
| (roomTempState Barium Solid) | Mid-level-ontology.kif 33451-33451 | room temperature state barium and solid |
| (subclass Barium ElementalSubstance) | Mid-level-ontology.kif 30120-30120 | Barium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ba" Barium) | Mid-level-ontology.kif 30122-30122 | Barium is a conventional short name of "Ba" |
| (termFormat ChineseLanguage Barium "钡") | domainEnglishFormat.kif 9943-9943 | Barium is a conventional short name of "Ba" |
| (termFormat ChineseTraditionalLanguage Barium "鋇") | domainEnglishFormat.kif 9942-9942 | Barium is a conventional short name of "Ba" |
| (termFormat EnglishLanguage Barium "barium") | domainEnglishFormat.kif 9941-9941 | 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 30125-30129 |
|
|
|
|