| Xenon(xenon)
| | Xe, atomic_number_54, xenon |
| appearance as argument number 1 |
|
|
| (atomicNumber Xenon 54) | Mid-level-ontology.kif 30080-30080 | 54 is an atomic number of xenon |
| (boilingPoint Xenon (MeasureFn 166.1 KelvinDegree)) |
Mid-level-ontology.kif 31207-31207 | 166.1 Kelvin degree(s) is a boiling point 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 30088-30092 | 166.1 Kelvin degree(s) is a boiling point of xenon |
| (externalImage Xenon "http://upload.wikimedia.org/wikipedia/commons/0/09/ Xe%2C54.jpg") | pictureList.kif 2425-2425 | 166.1 Kelvin degree(s) is a boiling point of xenon |
| (externalImage Xenon "http://upload.wikimedia.org/wikipedia/commons/1/13/ Xe_TableImage.png") | pictureList.kif 2064-2064 | 166.1 Kelvin degree(s) is a boiling point of xenon |
| (externalImage Xenon "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 09/ Xe%2C54.jpg/ 125px_Xe%2C54.jpg") | pictureList.kif 1289-1289 | 166.1 Kelvin degree(s) is a boiling point of xenon |
| (meltingPoint Xenon (MeasureFn 161.3 KelvinDegree)) |
Mid-level-ontology.kif 31206-31206 | 161.3 Kelvin degree(s) is a melting point of xenon |
| (names Xenon "Xenon") | Mid-level-ontology.kif 30078-30078 | "Xenon" has &ames$"name" Xenon |
| (roomTempState Xenon Gas) | Mid-level-ontology.kif 33449-33449 | room temperature state xenon and gas |
| (subclass Xenon ElementalSubstance) | Mid-level-ontology.kif 30077-30077 | Xenon is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Xe" Xenon) | Mid-level-ontology.kif 30079-30079 | Xenon is a conventional short name of "Xe" |
| (termFormat ChineseLanguage Xenon "氙") | domainEnglishFormat.kif 63603-63603 | Xenon is a conventional short name of "Xe" |
| (termFormat ChineseTraditionalLanguage Xenon "氙") | domainEnglishFormat.kif 63602-63602 | Xenon is a conventional short name of "Xe" |
| (termFormat EnglishLanguage Xenon "xenon") | domainEnglishFormat.kif 63601-63601 | Xenon is a conventional short name of "Xe" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Xenon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 131.30 Amu))) |
Mid-level-ontology.kif 30082-30086 |
|
|
|
|