| Beryllium(beryllium)
| | Be, atomic_number_4, beryllium, glucinium |
| appearance as argument number 1 |
|
|
| (atomicNumber Beryllium 4) | Mid-level-ontology.kif 28431-28431 | 4 is an atomic number of beryllium |
| (boilingPoint Beryllium (MeasureFn 3243.0 KelvinDegree)) |
Mid-level-ontology.kif 30303-30303 | 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 28439-28442 | 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 30302-30302 | 1551.0 Kelvin degree(s) is a melting point of beryllium |
| (names Beryllium "Beryllium") | Mid-level-ontology.kif 28429-28429 | "Beryllium" has name beryllium |
| (roomTempState Beryllium Solid) | Mid-level-ontology.kif 32576-32576 | roomTempState beryllium and solid |
| (subclass Beryllium ElementalSubstance) | Mid-level-ontology.kif 28428-28428 | Beryllium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Be" Beryllium) | Mid-level-ontology.kif 28430-28430 | Beryllium is a conventional short name of "Be" |
| (termFormat ChineseLanguage Beryllium "铍") | domainEnglishFormat.kif 10860-10860 | Beryllium is a conventional short name of "Be" |
| (termFormat ChineseTraditionalLanguage Beryllium "鈹") | domainEnglishFormat.kif 10859-10859 | Beryllium is a conventional short name of "Be" |
| (termFormat EnglishLanguage Beryllium "beryllium") | domainEnglishFormat.kif 10858-10858 | 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 28433-28437 |
|
|
|
|