From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/axioms/elementsP.gft | 608 ------------------------------------- 1 file changed, 608 deletions(-) delete mode 100644 examples/SUMO/axioms/elementsP.gft (limited to 'examples/SUMO/axioms/elementsP.gft') diff --git a/examples/SUMO/axioms/elementsP.gft b/examples/SUMO/axioms/elementsP.gft deleted file mode 100644 index d516e9e00..000000000 --- a/examples/SUMO/axioms/elementsP.gft +++ /dev/null @@ -1,608 +0,0 @@ - -atomicNumber (desc Hydrogen ? ?) (el ? ? ? (toInt 1)) - -atomicNumber (desc Helium ? ?) (el ? ? ? (toInt 2)) - -atomicNumber (desc Lithium ? ?) (el ? ? ? (toInt 3)) - -atomicNumber (desc Beryllium ? ?) (el ? ? ? (toInt 4)) - -atomicNumber (desc Boron ? ?) (el ? ? ? (toInt 5)) - -atomicNumber (desc Carbon ? ?) (el ? ? ? (toInt 6)) - -atomicNumber (desc Nitrogen ? ?) (el ? ? ? (toInt 7)) - -atomicNumber (desc Oxygen ? ?) (el ? ? ? (toInt 8)) - -atomicNumber (desc Fluorine ? ?) (el ? ? ? (toInt 9)) - -atomicNumber (desc Neon ? ?) (el ? ? ? (toInt 10)) - -atomicNumber (desc Sodium ? ?) (el ? ? ? (toInt 11)) - -atomicNumber (desc Magnesium ? ?) (el ? ? ? (toInt 12)) - -atomicNumber (desc Aluminum ? ?) (el ? ? ? (toInt 13)) - -atomicNumber (desc Silicon ? ?) (el ? ? ? (toInt 14)) - -atomicNumber (desc Phosphorus ? ?) (el ? ? ? (toInt 15)) - -atomicNumber (desc Sulphur ? ?) (el ? ? ? (toInt 16)) - -atomicNumber (desc Chlorine ? ?) (el ? ? ? (toInt 17)) - -atomicNumber (desc Argon ? ?) (el ? ? ? (toInt 18)) - -atomicNumber (desc Potassium ? ?) (el ? ? ? (toInt 19)) - -atomicNumber (desc Calcium ? ?) (el ? ? ? (toInt 20)) - -atomicNumber (desc Scandium ? ?) (el ? ? ? (toInt 21)) - -atomicNumber (desc Titanium ? ?) (el ? ? ? (toInt 22)) - -atomicNumber (desc Vanadium ? ?) (el ? ? ? (toInt 23)) - -atomicNumber (desc Chromium ? ?) (el ? ? ? (toInt 24)) - -atomicNumber (desc Manganese ? ?) (el ? ? ? (toInt 25)) - -atomicNumber (desc Iron ? ?) (el ? ? ? (toInt 26)) - -atomicNumber (desc Cobalt ? ?) (el ? ? ? (toInt 27)) - -atomicNumber (desc Nickel ? ?) (el ? ? ? (toInt 28)) - -atomicNumber (desc Copper ? ?) (el ? ? ? (toInt 29)) - -atomicNumber (desc Zinc ? ?) (el ? ? ? (toInt 30)) - -atomicNumber (desc Gallium ? ?) (el ? ? ? (toInt 31)) - -atomicNumber (desc Germanium ? ?) (el ? ? ? (toInt 32)) - -atomicNumber (desc Arsenic ? ?) (el ? ? ? (toInt 33)) - -atomicNumber (desc Selenium ? ?) (el ? ? ? (toInt 34)) - -atomicNumber (desc Bromine ? ?) (el ? ? ? (toInt 35)) - -atomicNumber (desc Krypton ? ?) (el ? ? ? (toInt 36)) - -atomicNumber (desc Rubidium ? ?) (el ? ? ? (toInt 37)) - -atomicNumber (desc Strontium ? ?) (el ? ? ? (toInt 38)) - -atomicNumber (desc Yttrium ? ?) (el ? ? ? (toInt 39)) - -atomicNumber (desc Zirconium ? ?) (el ? ? ? (toInt 40)) - -atomicNumber (desc Niobium ? ?) (el ? ? ? (toInt 41)) - -atomicNumber (desc Molybdenum ? ?) (el ? ? ? (toInt 42)) - -atomicNumber (desc Technetium ? ?) (el ? ? ? (toInt 43)) - -atomicNumber (desc Ruthenium ? ?) (el ? ? ? (toInt 44)) - -atomicNumber (desc Rhodium ? ?) (el ? ? ? (toInt 45)) - -atomicNumber (desc Palladium ? ?) (el ? ? ? (toInt 46)) - -atomicNumber (desc Silver ? ?) (el ? ? ? (toInt 47)) - -atomicNumber (desc Cadmium ? ?) (el ? ? ? (toInt 48)) - -atomicNumber (desc Indium ? ?) (el ? ? ? (toInt 49)) - -atomicNumber (desc Tin ? ?) (el ? ? ? (toInt 50)) - -atomicNumber (desc Antimony ? ?) (el ? ? ? (toInt 51)) - -atomicNumber (desc Tellurium ? ?) (el ? ? ? (toInt 52)) - -atomicNumber (desc Iodine ? ?) (el ? ? ? (toInt 53)) - -atomicNumber (desc Xenon ? ?) (el ? ? ? (toInt 54)) - -atomicNumber (desc Caesium ? ?) (el ? ? ? (toInt 55)) - -atomicNumber (desc Barium ? ?) (el ? ? ? (toInt 56)) - -atomicNumber (desc Lanthanum ? ?) (el ? ? ? (toInt 57)) - -atomicNumber (desc Cerium ? ?) (el ? ? ? (toInt 58)) - -atomicNumber (desc Praseodymium ? ?) (el ? ? ? (toInt 59)) - -atomicNumber (desc Neodymium ? ?) (el ? ? ? (toInt 60)) - -atomicNumber (desc Promethium ? ?) (el ? ? ? (toInt 61)) - -atomicNumber (desc Samarium ? ?) (el ? ? ? (toInt 62)) - -atomicNumber (desc Europium ? ?) (el ? ? ? (toInt 63)) - -atomicNumber (desc Gadolinium ? ?) (el ? ? ? (toInt 64)) - -atomicNumber (desc Terbium ? ?) (el ? ? ? (toInt 65)) - -atomicNumber (desc Dysprosium ? ?) (el ? ? ? (toInt 66)) - -atomicNumber (desc Holmium ? ?) (el ? ? ? (toInt 67)) - -atomicNumber (desc Erbium ? ?) (el ? ? ? (toInt 68)) - -atomicNumber (desc Thulium ? ?) (el ? ? ? (toInt 69)) - -atomicNumber (desc Ytterbium ? ?) (el ? ? ? (toInt 70)) - -atomicNumber (desc Lutetium ? ?) (el ? ? ? (toInt 71)) - -atomicNumber (desc Hafnium ? ?) (el ? ? ? (toInt 72)) - -atomicNumber (desc Tantalum ? ?) (el ? ? ? (toInt 73)) - -atomicNumber (desc Tungsten ? ?) (el ? ? ? (toInt 74)) - -atomicNumber (desc Rhenium ? ?) (el ? ? ? (toInt 75)) - -atomicNumber (desc Osmium ? ?) (el ? ? ? (toInt 76)) - -atomicNumber (desc Iridium ? ?) (el ? ? ? (toInt 77)) - -atomicNumber (desc Platinum ? ?) (el ? ? ? (toInt 78)) - -atomicNumber (desc Gold ? ?) (el ? ? ? (toInt 79)) - -atomicNumber (desc Mercury ? ?) (el ? ? ? (toInt 80)) - -atomicNumber (desc Thallium ? ?) (el ? ? ? (toInt 81)) - -atomicNumber (desc Lead ? ?) (el ? ? ? (toInt 82)) - -atomicNumber (desc Bismuth ? ?) (el ? ? ? (toInt 83)) - -atomicNumber (desc Polonium ? ?) (el ? ? ? (toInt 84)) - -atomicNumber (desc Astatine ? ?) (el ? ? ? (toInt 85)) - -atomicNumber (desc Radon ? ?) (el ? ? ? (toInt 86)) - -atomicNumber (desc Francium ? ?) (el ? ? ? (toInt 87)) - -atomicNumber (desc Radium ? ?) (el ? ? ? (toInt 88)) - -atomicNumber (desc Actinium ? ?) (el ? ? ? (toInt 89)) - -atomicNumber (desc Thorium ? ?) (el ? ? ? (toInt 90)) - -atomicNumber (desc Protactinium ? ?) (el ? ? ? (toInt 91)) - -atomicNumber (desc Uranium ? ?) (el ? ? ? (toInt 92)) - -atomicNumber (desc Neptunium ? ?) (el ? ? ? (toInt 93)) - -atomicNumber (desc Plutonium ? ?) (el ? ? ? (toInt 94)) - -atomicNumber (desc Americium ? ?) (el ? ? ? (toInt 95)) - -atomicNumber (desc Curium ? ?) (el ? ? ? (toInt 96)) - -atomicNumber (desc Berkelium ? ?) (el ? ? ? (toInt 97)) - -atomicNumber (desc Californium ? ?) (el ? ? ? (toInt 98)) - -atomicNumber (desc Einsteinium ? ?) (el ? ? ? (toInt 99)) - -atomicNumber (desc Fermium ? ?) (el ? ? ? (toInt 100)) - -atomicNumber (desc Mendelevium ? ?) (el ? ? ? (toInt 101)) - -atomicNumber (desc Nobelium ? ?) (el ? ? ? (toInt 102)) - -atomicNumber (desc Lawrencium ? ?) (el ? ? ? (toInt 103)) - -atomicNumber (desc Unnilquadium ? ?) (el ? ? ? (toInt 104)) - -atomicNumber (desc Unnilpentium ? ?) (el ? ? ? (toInt 105)) - -atomicNumber (desc Unnilhexium ? ?) (el ? ? ? (toInt 106)) - -atomicNumber (desc Unnilseptium ? ?) (el ? ? ? (toInt 107)) - -atomicNumber (desc Unniloctium ? ?) (el ? ? ? (toInt 108)) - -atomicNumber (desc Meitnerium ? ?) (el ? ? ? (toInt 109)) - -atomicNumber (desc Unnildecium ? ?) (el ? ? ? (toInt 110)) - -meltingPoint (desc Hydrogen ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 14.01)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Hydrogen ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 20.28)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Helium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 0.95)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Helium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 4.216)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Lithium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 453.69)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Lithium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1590)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Beryllium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1551)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Beryllium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3243)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Boron ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2573)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Boron ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2823)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Carbon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3823)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Carbon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 5100)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Nitrogen ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 63.29)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Nitrogen ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 77.4)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Oxygen ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 54.75)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Oxygen ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 90.188)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Fluorine ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 53.53)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Fluorine ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 85.01)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Neon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 24.48)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Neon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 27.1)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Sodium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 370.95)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Sodium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1165)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Magnesium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 921.95)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Magnesium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1380)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Aluminum ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 933.52)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Aluminum ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2740)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Silicon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1683)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Silicon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2628)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Phosphorus ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 317.3)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Phosphorus ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 553)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Sulphur ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 386)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Sulphur ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 717.824)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Chlorine ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 172.17)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Chlorine ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 238.55)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Argon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 83.78)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Argon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 87.29)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Potassium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 336.8)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Potassium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1047)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Calcium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1112)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Calcium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1760)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Scandium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1812)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Scandium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3105)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Titanium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1933)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Titanium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3533)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Vanadium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2163)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Vanadium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3653)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Chromium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2130)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Chromium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2755)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Manganese ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1517)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Manganese ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2370)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Iron ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1808)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Iron ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3023)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Cobalt ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1768)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Cobalt ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3143)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Nickel ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1726)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Nickel ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3005)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Copper ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 1356.6)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Copper ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2868)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Zinc ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 692.73)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Zinc ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1180)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Gallium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 302.93)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Gallium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2676)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Germanium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 1210.55)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Germanium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3103)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Arsenic ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 886)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Arsenic ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 886)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Selenium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 490)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Selenium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 958.1)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Bromine ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 265.9)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Bromine ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 331.93)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Krypton ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 116.55)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Krypton ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 120.85)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Rubidium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 312.2)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Rubidium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 961)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Strontium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1042)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Strontium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1657)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Yttrium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1796)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Yttrium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3610)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Zirconium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2125)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Zirconium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 4650)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Niobium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2741)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Niobium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 5200)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Molybdenum ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2890)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Molybdenum ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 5833)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Technetium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2445)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Technetium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 5303)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Ruthenium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2583)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Ruthenium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 4173)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Rhodium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2239)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Rhodium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 4000)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Palladium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1825)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Palladium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3413)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Silver ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 1235.08)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Silver ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2485)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Cadmium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 594.1)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Cadmium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1038)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Indium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 429.32)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Indium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2353)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Tin ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 505.118)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Tin ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2543)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Antimony ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 903.89)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Antimony ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2023)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Tellurium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 722.7)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Tellurium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1263)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Iodine ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 386.65)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Iodine ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 457.55)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Xenon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 161.3)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Xenon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 166.1)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Caesium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 301.55)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Caesium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 963)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Barium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 998)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Barium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1913)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Lanthanum ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1193)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Lanthanum ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3727)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Cerium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1071)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Cerium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3530)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Praseodymium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1204)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Praseodymium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3485)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Neodymium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1283)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Neodymium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3400)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Promethium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1353)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Promethium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3000)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Samarium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1345)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Samarium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2051)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Europium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1095)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Europium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1870)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Gadolinium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1584)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Gadolinium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3506)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Terbium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1633)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Terbium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3314)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Dysprosium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1682)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Dysprosium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2608)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Holmium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1743)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Holmium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2993)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Erbium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1795)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Erbium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2783)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Thulium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1818)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Thulium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2000)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Ytterbium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1097)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Ytterbium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1466)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Lutetium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1929)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Lutetium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3588)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Hafnium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2423)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Hafnium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 5673)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Tantalum ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3269)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Tantalum ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 5698)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Tungsten ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3680)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Tungsten ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 6200)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Rhenium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3453)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Rhenium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 5900)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Osmium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3318)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Osmium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 5300)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Iridium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2683)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Iridium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 4403)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Platinum ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2045)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Platinum ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 4100)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Gold ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 1337.58)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Gold ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3213)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Mercury ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 234.28)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Mercury ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 629.73)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Thallium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 576.7)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Thallium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1730)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Lead ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 600.65)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Lead ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2013)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Bismuth ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 544.5)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Bismuth ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1833)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Polonium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 527)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Polonium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1235)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Astatine ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 575)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Astatine ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 610)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Radon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 202)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Radon ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 211.4)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Francium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 300)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Francium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 950)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Radium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 973)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Radium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1413)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Actinium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1320)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Actinium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3470)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Thorium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2023)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Thorium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 5060)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Protactinium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1827)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Protactinium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 4300)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Uranium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toRealNum 1405.5)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Uranium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 4091)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Neptunium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 913)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Neptunium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 4175)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Plutonium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 914)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Plutonium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 3600)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Americium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1267)) (el ? ? ? KelvinDegree))) - -boilingPoint (desc Americium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 2880)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Curium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1613)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Berkelium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1259)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Californium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1173)) (el ? ? ? KelvinDegree))) - -meltingPoint (desc Einsteinium ? ?) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1133)) (el ? ? ? KelvinDegree))) -- cgit v1.2.3