Krypton
|
|
appearance as argument number 1 |
(atomicNumber Krypton 36) | Mid-level-ontology.kif 27842-27842 | |
(boilingPoint Krypton (MeasureFn 120.85 KelvinDegree)) |
Mid-level-ontology.kif 29240-29240 | |
(documentation Krypton EnglishLanguage "Colorless gaseous element, belongs to the noble gases. Occurs in the air, 0.0001 percent by volume. It can be extracted from liquid air by fractional distillation. Generally not isolated, but used with other inert gases in fluorescent lamps. Five natural isotopes, and five radioactive isotopes. Kr-85, the most stable radioactive isotope, has a half-life of 10.76 years and is produced in fission reactors. Practically inert, though known to form compounds with {fluorine}.") | Mid-level-ontology.kif 27850-27857 | |
(externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ Kr%2C36.jpg") | pictureList.kif 2244-2244 | |
(externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Kr-TableImage.png") | pictureList.kif 1828-1828 | |
(externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 29/ Kr%2C36.jpg/ 125px-Kr%2C36.jpg") | pictureList.kif 1151-1151 | |
(meltingPoint Krypton (MeasureFn 116.55 KelvinDegree)) |
Mid-level-ontology.kif 29239-29239 | |
(names Krypton "Krypton") | Mid-level-ontology.kif 27840-27840 | |
(roomTempState Krypton Gas) | Mid-level-ontology.kif 31482-31482 | |
(subclass Krypton ElementalSubstance) | Mid-level-ontology.kif 27839-27839 |
appearance as argument number 2 |
(conventionalShortName "Kr" Krypton) | Mid-level-ontology.kif 27841-27841 | |
(termFormat ChineseLanguage Krypton "氪") | domainEnglishFormat.kif 32857-32857 | |
(termFormat ChineseTraditionalLanguage Krypton "氪") | domainEnglishFormat.kif 32856-32856 | |
(termFormat EnglishLanguage Krypton "krypton") | domainEnglishFormat.kif 32855-32855 |
antecedent |
(=> (and (instance ?ATOM Krypton) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 83.80 Amu))) |
Mid-level-ontology.kif 27844-27848 |