TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Fluorine ElementalSubstance)	Mid-level-ontology.kif 30030-30030	Fluorine is a subclass of elemental substance
(atomicNumber Fluorine 9)	Mid-level-ontology.kif 30033-30033	9 is an atomic number of fluorine
(documentation Fluorine EnglishLanguage "A poisonous pale yellow gaseous element belonging to group 17 of the periodic table (The halogens). It is the most chemically reactive and electronegative element. It is highly dangerous, causing severe chemical burns on contact with flesh. Fluorine was identified by Scheele in 1771 and first isolated by Moissan in 1886.")	Mid-level-ontology.kif 30041-30045	9 is an atomic number of fluorine
(meltingPoint Fluorine (MeasureFn 53.53 KelvinDegree))	Mid-level-ontology.kif 31823-31823	53.53 Kelvin degree(s) is a melting point of fluorine
(boilingPoint Fluorine (MeasureFn 85.01 KelvinDegree))	Mid-level-ontology.kif 31824-31824	85.01 Kelvin degree(s) is a boiling point of fluorine
(roomTempState Fluorine Gas)	Mid-level-ontology.kif 33931-33931	room temperature state fluorine and gas
(molecularRatio Fluorine 2 Freon12)	Cars.kif 1669-1669	The number of molecules of fluorine in a molecule of freon-12 is 2
(externalImage Fluorine "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ F_TableImage.png")	pictureList.kif 1763-1763	The number of molecules of fluorine in a molecule of freon-12 is 2

appearance as argument number 2

(names "Fluorine" Fluorine)	Mid-level-ontology.kif 30031-30031	Fluorine has name "Fluorine"
(conventionalShortName "F" Fluorine)	Mid-level-ontology.kif 30032-30032	Fluorine is a conventional short name of "F"
(termFormat EnglishLanguage Fluorine "fluorine")	domainEnglishFormat.kif 24418-24418	Fluorine is a conventional short name of "F"
(termFormat ChineseTraditionalLanguage Fluorine "氟")	domainEnglishFormat.kif 24419-24419	Fluorine is a conventional short name of "F"
(termFormat ChineseLanguage Fluorine "氟")	domainEnglishFormat.kif 24420-24420	Fluorine is a conventional short name of "F"

antecedent

(=>
    (and
        (instance ?ATOM Fluorine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 18.9984 Amu)))

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