Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Krypton
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Krypton ElementalSubstance) | Mid-level-ontology.kif 30477-30477 | Krypton is a subclass of elemental substance |
| (atomicNumber Krypton 36) | Mid-level-ontology.kif 30480-30480 | 36 is an atomic number 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 30488-30495 | 36 is an atomic number of krypton |
| (meltingPoint Krypton (MeasureFn 116.55 KelvinDegree)) |
Mid-level-ontology.kif 31877-31877 | 116.55 Kelvin degree(s) is a melting point of krypton |
| (boilingPoint Krypton (MeasureFn 120.85 KelvinDegree)) |
Mid-level-ontology.kif 31878-31878 | 120.85 Kelvin degree(s) is a boiling point of krypton |
| (roomTempState Krypton Gas) | Mid-level-ontology.kif 33958-33958 | room temperature state krypton and gas |
| (externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 29/ Kr%2C36.jpg/ 125px_Kr%2C36.jpg") | pictureList.kif 1151-1151 | room temperature state krypton and gas |
| (externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Kr_TableImage.png") | pictureList.kif 1827-1827 | room temperature state krypton and gas |
| (externalImage Krypton "http://upload.wikimedia.org/wikipedia/commons/2/ 29/ Kr%2C36.jpg") | pictureList.kif 2243-2243 | room temperature state krypton and gas |
| appearance as argument number 2 |
|
|
| (names "Krypton" Krypton) | Mid-level-ontology.kif 30478-30478 | Krypton has name "Krypton" |
| (conventionalShortName "Kr" Krypton) | Mid-level-ontology.kif 30479-30479 | Krypton is a conventional short name of "Kr" |
| (termFormat EnglishLanguage Krypton "krypton") | domainEnglishFormat.kif 32859-32859 | Krypton is a conventional short name of "Kr" |
| (termFormat ChineseTraditionalLanguage Krypton "氪") | domainEnglishFormat.kif 32860-32860 | Krypton is a conventional short name of "Kr" |
| (termFormat ChineseLanguage Krypton "氪") | domainEnglishFormat.kif 32861-32861 | 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 30482-30486 | If X is an instance of krypton and X is an instance of atom, then the measure of X is 83.80 amu(s) |
|
