TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Xenon ElementalSubstance)	Mid-level-ontology.kif 30784-30784	Xenon is a subclass of elemental substance
(atomicNumber Xenon 54)	Mid-level-ontology.kif 30787-30787	54 is an atomic number of xenon
(documentation Xenon EnglishLanguage "Colourless, odourless gas belonging to group 18 on the periodic table (the noble gases.) Nine natural isotopes and seven radioactive isotopes are known. Xenon was part of the first noble-gas compound synthesized. Several others involving Xenon have been found since then. Xenon was discovered by Ramsey and Travers in 1898.")	Mid-level-ontology.kif 30795-30799	54 is an atomic number of xenon
(meltingPoint Xenon (MeasureFn 161.3 KelvinDegree))	Mid-level-ontology.kif 31913-31913	161.3 Kelvin degree(s) is a melting point of xenon
(boilingPoint Xenon (MeasureFn 166.1 KelvinDegree))	Mid-level-ontology.kif 31914-31914	166.1 Kelvin degree(s) is a boiling point of xenon
(roomTempState Xenon Gas)	Mid-level-ontology.kif 33976-33976	room temperature state xenon and gas
(externalImage Xenon "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 09/ Xe%2C54.jpg/ 125px_Xe%2C54.jpg")	pictureList.kif 1289-1289	room temperature state xenon and gas
(externalImage Xenon "http://upload.wikimedia.org/wikipedia/commons/1/13/ Xe_TableImage.png")	pictureList.kif 2064-2064	room temperature state xenon and gas
(externalImage Xenon "http://upload.wikimedia.org/wikipedia/commons/0/09/ Xe%2C54.jpg")	pictureList.kif 2425-2425	room temperature state xenon and gas

appearance as argument number 2

(names "Xenon" Xenon)	Mid-level-ontology.kif 30785-30785	Xenon has name "Xenon"
(conventionalShortName "Xe" Xenon)	Mid-level-ontology.kif 30786-30786	Xenon is a conventional short name of "Xe"
(termFormat EnglishLanguage Xenon "xenon")	domainEnglishFormat.kif 63610-63610	Xenon is a conventional short name of "Xe"
(termFormat ChineseTraditionalLanguage Xenon "氙")	domainEnglishFormat.kif 63611-63611	Xenon is a conventional short name of "Xe"
(termFormat ChineseLanguage Xenon "氙")	domainEnglishFormat.kif 63612-63612	Xenon is a conventional short name of "Xe"

antecedent

(=>
    (and
        (instance ?ATOM Xenon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 131.30 Amu)))

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