TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Bromine ElementalSubstance)	Mid-level-ontology.kif 30461-30461	Bromine is a subclass of elemental substance
(atomicNumber Bromine 35)	Mid-level-ontology.kif 30464-30464	35 is an atomic number of bromine
(documentation Bromine EnglishLanguage "Halogen element. Red volatile liquid at room temperature. Its reactivity is somewhere between chlorine and iodine. Harmful to human tissue in a liquid state, the vapour irritates eyes and throat. Discovered in 1826 by Antoine Balard.")	Mid-level-ontology.kif 30472-30475	35 is an atomic number of bromine
(meltingPoint Bromine (MeasureFn 265.9 KelvinDegree))	Mid-level-ontology.kif 31875-31875	265.9 Kelvin degree(s) is a melting point of bromine
(boilingPoint Bromine (MeasureFn 331.93 KelvinDegree))	Mid-level-ontology.kif 31876-31876	331.93 Kelvin degree(s) is a boiling point of bromine
(roomTempState Bromine Liquid)	Mid-level-ontology.kif 33957-33957	room temperature state bromine and liquid
(externalImage Bromine "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 75/ Br%2C35.jpg/ 125px_Br%2C35.jpg")	pictureList.kif 1055-1055	room temperature state bromine and liquid
(externalImage Bromine "http://upload.wikimedia.org/wikipedia/commons/b/ b4/ Br_TableImage.png")	pictureList.kif 1673-1673	room temperature state bromine and liquid
(externalImage Bromine "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Br%2C35.jpg")	pictureList.kif 2122-2122	room temperature state bromine and liquid

appearance as argument number 2

(names "Bromine" Bromine)	Mid-level-ontology.kif 30462-30462	Bromine has name "Bromine"
(conventionalShortName "Br" Bromine)	Mid-level-ontology.kif 30463-30463	Bromine is a conventional short name of "Br"
(termFormat EnglishLanguage Bromine "bromine")	domainEnglishFormat.kif 12095-12095	Bromine is a conventional short name of "Br"
(termFormat ChineseTraditionalLanguage Bromine "溴")	domainEnglishFormat.kif 12096-12096	Bromine is a conventional short name of "Br"
(termFormat ChineseLanguage Bromine "溴")	domainEnglishFormat.kif 12097-12097	Bromine is a conventional short name of "Br"

antecedent

(=>
    (and
        (instance ?ATOM Bromine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 79.909 Amu)))

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