TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Neon ElementalSubstance)	Mid-level-ontology.kif 30047-30047	Neon is a subclass of elemental substance
(atomicNumber Neon 10)	Mid-level-ontology.kif 30050-30050	10 is an atomic number of neon
(documentation Neon EnglishLanguage "Colourless gaseous element of group 18 on the periodic table (noble gases). Neon occurs in the atmosphere, and comprises 0.0018 percent of the volume of the atmosphere. It has a distinct reddish glow when used in discharge tubes and neon based lamps. It forms almost no chemical compounds. Neon was discovered in 1898 by Sir William Ramsey and M.W. Travers. ")	Mid-level-ontology.kif 30058-30063	10 is an atomic number of neon
(meltingPoint Neon (MeasureFn 24.48 KelvinDegree))	Mid-level-ontology.kif 31825-31825	24.48 Kelvin degree(s) is a melting point of neon
(boilingPoint Neon (MeasureFn 27.1 KelvinDegree))	Mid-level-ontology.kif 31826-31826	27.1 Kelvin degree(s) is a boiling point of neon
(roomTempState Neon Gas)	Mid-level-ontology.kif 33932-33932	room temperature state neon and gas
(externalImage Neon "http://upload.wikimedia.org/wikipedia/commons/8/81/ Ne_TableImage.png")	pictureList.kif 1863-1863	room temperature state neon and gas
(externalImage Neon "http://upload.wikimedia.org/wikipedia/commons/8/88/ NeTube.jpg")	pictureList.kif 2264-2264	room temperature state neon and gas

appearance as argument number 2

(names "Neon" Neon)	Mid-level-ontology.kif 30048-30048	Neon has name "Neon"
(conventionalShortName "Ne" Neon)	Mid-level-ontology.kif 30049-30049	Neon is a conventional short name of "Ne"
(termFormat EnglishLanguage Neon "neon")	domainEnglishFormat.kif 40123-40123	Neon is a conventional short name of "Ne"
(termFormat ChineseTraditionalLanguage Neon "氖")	domainEnglishFormat.kif 40124-40124	Neon is a conventional short name of "Ne"
(termFormat ChineseLanguage Neon "氖")	domainEnglishFormat.kif 40125-40125	Neon is a conventional short name of "Ne"

antecedent

(=>
    (and
        (instance ?ATOM Neon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 20.183 Amu)))

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