| Beryllium(beryllium)
| | Be, atomic_number_4, beryllium, glucinium |
| appearance as argument number 1 |
|
|
| (atomicNumber Beryllium 4) | Mid-level-ontology.kif 29237-29237 | 4 is an atomic number of beryllium |
| (boilingPoint Beryllium (MeasureFn 3243.0 KelvinDegree)) |
Mid-level-ontology.kif 31109-31109 | 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 29245-29248 | 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 31108-31108 | 1551.0 Kelvin degree(s) is a melting point of beryllium |
| (names Beryllium "Beryllium") | Mid-level-ontology.kif 29235-29235 | "Beryllium" has &ames$"name" Beryllium |
| (roomTempState Beryllium Solid) | Mid-level-ontology.kif 33400-33400 | room temperature state beryllium and solid |
| (subclass Beryllium ElementalSubstance) | Mid-level-ontology.kif 29234-29234 | Beryllium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Be" Beryllium) | Mid-level-ontology.kif 29236-29236 | Beryllium is a conventional short name of "Be" |
| (termFormat ChineseLanguage Beryllium "铍") | domainEnglishFormat.kif 10854-10854 | Beryllium is a conventional short name of "Be" |
| (termFormat ChineseTraditionalLanguage Beryllium "鈹") | domainEnglishFormat.kif 10853-10853 | Beryllium is a conventional short name of "Be" |
| (termFormat EnglishLanguage Beryllium "beryllium") | domainEnglishFormat.kif 10852-10852 | 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 29239-29243 |
|
|
|
|