TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Beryllium ElementalSubstance)	Mid-level-ontology.kif 29939-29939	Beryllium is a subclass of elemental substance
(atomicNumber Beryllium 4)	Mid-level-ontology.kif 29942-29942	4 is an atomic number 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 29950-29953	4 is an atomic number of beryllium
(meltingPoint Beryllium (MeasureFn 1551.0 KelvinDegree))	Mid-level-ontology.kif 31813-31813	1551.0 Kelvin degree(s) is a melting point of beryllium
(boilingPoint Beryllium (MeasureFn 3243.0 KelvinDegree))	Mid-level-ontology.kif 31814-31814	3243.0 Kelvin degree(s) is a boiling point of beryllium
(roomTempState Beryllium Solid)	Mid-level-ontology.kif 33925-33925	room temperature state beryllium and solid
(externalImage Beryllium "http://upload.wikimedia.org/wikipedia/commons/ f/ f0/ Be_TableImage.svg")	pictureList.kif 1655-1655	room temperature state beryllium and solid

appearance as argument number 2

(names "Beryllium" Beryllium)	Mid-level-ontology.kif 29940-29940	Beryllium has name "Beryllium"
(conventionalShortName "Be" Beryllium)	Mid-level-ontology.kif 29941-29941	Beryllium is a conventional short name of "Be"
(termFormat EnglishLanguage Beryllium "beryllium")	domainEnglishFormat.kif 10851-10851	Beryllium is a conventional short name of "Be"
(termFormat ChineseTraditionalLanguage Beryllium "鈹")	domainEnglishFormat.kif 10852-10852	Beryllium is a conventional short name of "Be"
(termFormat ChineseLanguage Beryllium "铍")	domainEnglishFormat.kif 10853-10853	Beryllium is a conventional short name of "Be"

antecedent

(=>
    (and
        (instance ?ATOM Beryllium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 9.0122 Amu)))

If X is an instance of beryllium and X is an instance of atom, then the measure of X is 9.0122 amu(s)