| Beryllium(beryllium)
| | Be, atomic_number_4, beryllium, glucinium |
| appearance as argument number 1 |
|
|
| (atomicNumber Beryllium 4) | Mid-level-ontology.kif 27600-27600 | 4 is an atomic number of beryllium |
| (boilingPoint Beryllium (MeasureFn 3243.0 KelvinDegree)) |
Mid-level-ontology.kif 29472-29472 | 3243.0 Kelvin degree(s) is a boiling point of beryllium |
| (documentation Beryllium EnglishLanguage "Grey metallic element of group 2 of the periodic table. Is toxic and can cause severe lung diseases and dermatitis. Shows high covalent character. It was isolated independently by F. Wohler and A.A. Bussy in 1828.") | Mid-level-ontology.kif 27608-27611 | 3243.0 Kelvin degree(s) is a boiling point of beryllium |
| (externalImage Beryllium "http://upload.wikimedia.org/wikipedia/commons/ f/ f0/ Be-TableImage.svg") | pictureList.kif 1655-1655 | 3243.0 Kelvin degree(s) is a boiling point of beryllium |
| (meltingPoint Beryllium (MeasureFn 1551.0 KelvinDegree)) |
Mid-level-ontology.kif 29471-29471 | 1551.0 Kelvin degree(s) is a melting point of beryllium |
| (names Beryllium "Beryllium") | Mid-level-ontology.kif 27598-27598 | "Beryllium" has name beryllium |
| (roomTempState Beryllium Solid) | Mid-level-ontology.kif 31718-31718 | roomTempState beryllium and solid |
| (subclass Beryllium ElementalSubstance) | Mid-level-ontology.kif 27597-27597 | Beryllium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Be" Beryllium) | Mid-level-ontology.kif 27599-27599 | Beryllium is a conventional short name of "Be" |
| (termFormat ChineseLanguage Beryllium "铍") | domainEnglishFormat.kif 10856-10856 | Beryllium is a conventional short name of "Be" |
| (termFormat ChineseTraditionalLanguage Beryllium "鈹") | domainEnglishFormat.kif 10855-10855 | Beryllium is a conventional short name of "Be" |
| (termFormat EnglishLanguage Beryllium "beryllium") | domainEnglishFormat.kif 10854-10854 | Beryllium is a conventional short name of "Be" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Beryllium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 9.0122 Amu))) |
Mid-level-ontology.kif 27602-27606 |
|
|
|
|