| Krypton(krypton)
| | Kr, atomic_number_36, krypton |
| appearance as argument number 1 |
|
|
| (atomicNumber Krypton 36) | Mid-level-ontology.kif 28969-28969 | 36 is an atomic number of krypton |
| (boilingPoint Krypton (MeasureFn 120.85 KelvinDegree)) |
Mid-level-ontology.kif 30367-30367 | 120.85 Kelvin degree(s) is a boiling point of krypton |
| (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 28977-28984 | 120.85 Kelvin degree(s) is a boiling point of krypton |
| (externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ Kr%2C36.jpg") | pictureList.kif 2243-2243 | 120.85 Kelvin degree(s) is a boiling point of krypton |
| (externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Kr_TableImage.png") | pictureList.kif 1827-1827 | 120.85 Kelvin degree(s) is a boiling point of krypton |
| (externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 29/ Kr%2C36.jpg/ 125px_Kr%2C36.jpg") | pictureList.kif 1151-1151 | 120.85 Kelvin degree(s) is a boiling point of krypton |
| (meltingPoint Krypton (MeasureFn 116.55 KelvinDegree)) |
Mid-level-ontology.kif 30366-30366 | 116.55 Kelvin degree(s) is a melting point of krypton |
| (names Krypton "Krypton") | Mid-level-ontology.kif 28967-28967 | "Krypton" has name krypton |
| (roomTempState Krypton Gas) | Mid-level-ontology.kif 32609-32609 | roomTempState krypton and gas |
| (subclass Krypton ElementalSubstance) | Mid-level-ontology.kif 28966-28966 | Krypton is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Kr" Krypton) | Mid-level-ontology.kif 28968-28968 | Krypton is a conventional short name of "Kr" |
| (termFormat ChineseLanguage Krypton "氪") | domainEnglishFormat.kif 32885-32885 | Krypton is a conventional short name of "Kr" |
| (termFormat ChineseTraditionalLanguage Krypton "氪") | domainEnglishFormat.kif 32884-32884 | Krypton is a conventional short name of "Kr" |
| (termFormat EnglishLanguage Krypton "krypton") | domainEnglishFormat.kif 32883-32883 | Krypton is a conventional short name of "Kr" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Krypton) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 83.80 Amu))) |
Mid-level-ontology.kif 28971-28975 |
|
|
|
|