| Barium
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Barium 56) | Mid-level-ontology.kif 26442-26442 | atomicNumber Barium and 56 |
| (boilingPoint Barium (MeasureFn 1913 KelvinDegree)) |
Mid-level-ontology.kif 27475-27475 | 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 26449-26452 | |
| (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 27474-27474 | meltingPoint Barium and MeasureFn 998 and KelvinDegree |
| (names Barium "Barium") | Mid-level-ontology.kif 26440-26440 | names Barium and "Barium" |
| (subclass Barium ElementalSubstance) | Mid-level-ontology.kif 26439-26439 | subclass Barium and ElementalSubstance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ba" Barium) | Mid-level-ontology.kif 26441-26441 | 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 26443-26447 |
|
|
|