1 files changed, 0 insertions, 912 deletions
diff --git a/examples/SUMO/TPTP/elementsPredAx.p b/examples/SUMO/TPTP/elementsPredAx.p
deleted file mode 100644
index 70793bb79..000000000
--- a/examples/SUMO/TPTP/elementsPredAx.p
+++ /dev/null
@@ -1,912 +0,0 @@
-fof(axelementsPred0, axiom, 
- f_atomicNumber(type_Hydrogen,1)).
-
-fof(axelementsPred1, axiom, 
- f_atomicNumber(type_Helium,2)).
-
-fof(axelementsPred2, axiom, 
- f_atomicNumber(type_Lithium,3)).
-
-fof(axelementsPred3, axiom, 
- f_atomicNumber(type_Beryllium,4)).
-
-fof(axelementsPred4, axiom, 
- f_atomicNumber(type_Boron,5)).
-
-fof(axelementsPred5, axiom, 
- f_atomicNumber(type_Carbon,6)).
-
-fof(axelementsPred6, axiom, 
- f_atomicNumber(type_Nitrogen,7)).
-
-fof(axelementsPred7, axiom, 
- f_atomicNumber(type_Oxygen,8)).
-
-fof(axelementsPred8, axiom, 
- f_atomicNumber(type_Fluorine,9)).
-
-fof(axelementsPred9, axiom, 
- f_atomicNumber(type_Neon,10)).
-
-fof(axelementsPred10, axiom, 
- f_atomicNumber(type_Sodium,11)).
-
-fof(axelementsPred11, axiom, 
- f_atomicNumber(type_Magnesium,12)).
-
-fof(axelementsPred12, axiom, 
- f_atomicNumber(type_Aluminum,13)).
-
-fof(axelementsPred13, axiom, 
- f_atomicNumber(type_Silicon,14)).
-
-fof(axelementsPred14, axiom, 
- f_atomicNumber(type_Phosphorus,15)).
-
-fof(axelementsPred15, axiom, 
- f_atomicNumber(type_Sulphur,16)).
-
-fof(axelementsPred16, axiom, 
- f_atomicNumber(type_Chlorine,17)).
-
-fof(axelementsPred17, axiom, 
- f_atomicNumber(type_Argon,18)).
-
-fof(axelementsPred18, axiom, 
- f_atomicNumber(type_Potassium,19)).
-
-fof(axelementsPred19, axiom, 
- f_atomicNumber(type_Calcium,20)).
-
-fof(axelementsPred20, axiom, 
- f_atomicNumber(type_Scandium,21)).
-
-fof(axelementsPred21, axiom, 
- f_atomicNumber(type_Titanium,22)).
-
-fof(axelementsPred22, axiom, 
- f_atomicNumber(type_Vanadium,23)).
-
-fof(axelementsPred23, axiom, 
- f_atomicNumber(type_Chromium,24)).
-
-fof(axelementsPred24, axiom, 
- f_atomicNumber(type_Manganese,25)).
-
-fof(axelementsPred25, axiom, 
- f_atomicNumber(type_Iron,26)).
-
-fof(axelementsPred26, axiom, 
- f_atomicNumber(type_Cobalt,27)).
-
-fof(axelementsPred27, axiom, 
- f_atomicNumber(type_Nickel,28)).
-
-fof(axelementsPred28, axiom, 
- f_atomicNumber(type_Copper,29)).
-
-fof(axelementsPred29, axiom, 
- f_atomicNumber(type_Zinc,30)).
-
-fof(axelementsPred30, axiom, 
- f_atomicNumber(type_Gallium,31)).
-
-fof(axelementsPred31, axiom, 
- f_atomicNumber(type_Germanium,32)).
-
-fof(axelementsPred32, axiom, 
- f_atomicNumber(type_Arsenic,33)).
-
-fof(axelementsPred33, axiom, 
- f_atomicNumber(type_Selenium,34)).
-
-fof(axelementsPred34, axiom, 
- f_atomicNumber(type_Bromine,35)).
-
-fof(axelementsPred35, axiom, 
- f_atomicNumber(type_Krypton,36)).
-
-fof(axelementsPred36, axiom, 
- f_atomicNumber(type_Rubidium,37)).
-
-fof(axelementsPred37, axiom, 
- f_atomicNumber(type_Strontium,38)).
-
-fof(axelementsPred38, axiom, 
- f_atomicNumber(type_Yttrium,39)).
-
-fof(axelementsPred39, axiom, 
- f_atomicNumber(type_Zirconium,40)).
-
-fof(axelementsPred40, axiom, 
- f_atomicNumber(type_Niobium,41)).
-
-fof(axelementsPred41, axiom, 
- f_atomicNumber(type_Molybdenum,42)).
-
-fof(axelementsPred42, axiom, 
- f_atomicNumber(type_Technetium,43)).
-
-fof(axelementsPred43, axiom, 
- f_atomicNumber(type_Ruthenium,44)).
-
-fof(axelementsPred44, axiom, 
- f_atomicNumber(type_Rhodium,45)).
-
-fof(axelementsPred45, axiom, 
- f_atomicNumber(type_Palladium,46)).
-
-fof(axelementsPred46, axiom, 
- f_atomicNumber(type_Silver,47)).
-
-fof(axelementsPred47, axiom, 
- f_atomicNumber(type_Cadmium,48)).
-
-fof(axelementsPred48, axiom, 
- f_atomicNumber(type_Indium,49)).
-
-fof(axelementsPred49, axiom, 
- f_atomicNumber(type_Tin,50)).
-
-fof(axelementsPred50, axiom, 
- f_atomicNumber(type_Antimony,51)).
-
-fof(axelementsPred51, axiom, 
- f_atomicNumber(type_Tellurium,52)).
-
-fof(axelementsPred52, axiom, 
- f_atomicNumber(type_Iodine,53)).
-
-fof(axelementsPred53, axiom, 
- f_atomicNumber(type_Xenon,54)).
-
-fof(axelementsPred54, axiom, 
- f_atomicNumber(type_Caesium,55)).
-
-fof(axelementsPred55, axiom, 
- f_atomicNumber(type_Barium,56)).
-
-fof(axelementsPred56, axiom, 
- f_atomicNumber(type_Lanthanum,57)).
-
-fof(axelementsPred57, axiom, 
- f_atomicNumber(type_Cerium,58)).
-
-fof(axelementsPred58, axiom, 
- f_atomicNumber(type_Praseodymium,59)).
-
-fof(axelementsPred59, axiom, 
- f_atomicNumber(type_Neodymium,60)).
-
-fof(axelementsPred60, axiom, 
- f_atomicNumber(type_Promethium,61)).
-
-fof(axelementsPred61, axiom, 
- f_atomicNumber(type_Samarium,62)).
-
-fof(axelementsPred62, axiom, 
- f_atomicNumber(type_Europium,63)).
-
-fof(axelementsPred63, axiom, 
- f_atomicNumber(type_Gadolinium,64)).
-
-fof(axelementsPred64, axiom, 
- f_atomicNumber(type_Terbium,65)).
-
-fof(axelementsPred65, axiom, 
- f_atomicNumber(type_Dysprosium,66)).
-
-fof(axelementsPred66, axiom, 
- f_atomicNumber(type_Holmium,67)).
-
-fof(axelementsPred67, axiom, 
- f_atomicNumber(type_Erbium,68)).
-
-fof(axelementsPred68, axiom, 
- f_atomicNumber(type_Thulium,69)).
-
-fof(axelementsPred69, axiom, 
- f_atomicNumber(type_Ytterbium,70)).
-
-fof(axelementsPred70, axiom, 
- f_atomicNumber(type_Lutetium,71)).
-
-fof(axelementsPred71, axiom, 
- f_atomicNumber(type_Hafnium,72)).
-
-fof(axelementsPred72, axiom, 
- f_atomicNumber(type_Tantalum,73)).
-
-fof(axelementsPred73, axiom, 
- f_atomicNumber(type_Tungsten,74)).
-
-fof(axelementsPred74, axiom, 
- f_atomicNumber(type_Rhenium,75)).
-
-fof(axelementsPred75, axiom, 
- f_atomicNumber(type_Osmium,76)).
-
-fof(axelementsPred76, axiom, 
- f_atomicNumber(type_Iridium,77)).
-
-fof(axelementsPred77, axiom, 
- f_atomicNumber(type_Platinum,78)).
-
-fof(axelementsPred78, axiom, 
- f_atomicNumber(type_Gold,79)).
-
-fof(axelementsPred79, axiom, 
- f_atomicNumber(type_Mercury,80)).
-
-fof(axelementsPred80, axiom, 
- f_atomicNumber(type_Thallium,81)).
-
-fof(axelementsPred81, axiom, 
- f_atomicNumber(type_Lead,82)).
-
-fof(axelementsPred82, axiom, 
- f_atomicNumber(type_Bismuth,83)).
-
-fof(axelementsPred83, axiom, 
- f_atomicNumber(type_Polonium,84)).
-
-fof(axelementsPred84, axiom, 
- f_atomicNumber(type_Astatine,85)).
-
-fof(axelementsPred85, axiom, 
- f_atomicNumber(type_Radon,86)).
-
-fof(axelementsPred86, axiom, 
- f_atomicNumber(type_Francium,87)).
-
-fof(axelementsPred87, axiom, 
- f_atomicNumber(type_Radium,88)).
-
-fof(axelementsPred88, axiom, 
- f_atomicNumber(type_Actinium,89)).
-
-fof(axelementsPred89, axiom, 
- f_atomicNumber(type_Thorium,90)).
-
-fof(axelementsPred90, axiom, 
- f_atomicNumber(type_Protactinium,91)).
-
-fof(axelementsPred91, axiom, 
- f_atomicNumber(type_Uranium,92)).
-
-fof(axelementsPred92, axiom, 
- f_atomicNumber(type_Neptunium,93)).
-
-fof(axelementsPred93, axiom, 
- f_atomicNumber(type_Plutonium,94)).
-
-fof(axelementsPred94, axiom, 
- f_atomicNumber(type_Americium,95)).
-
-fof(axelementsPred95, axiom, 
- f_atomicNumber(type_Curium,96)).
-
-fof(axelementsPred96, axiom, 
- f_atomicNumber(type_Berkelium,97)).
-
-fof(axelementsPred97, axiom, 
- f_atomicNumber(type_Californium,98)).
-
-fof(axelementsPred98, axiom, 
- f_atomicNumber(type_Einsteinium,99)).
-
-fof(axelementsPred99, axiom, 
- f_atomicNumber(type_Fermium,100)).
-
-fof(axelementsPred100, axiom, 
- f_atomicNumber(type_Mendelevium,101)).
-
-fof(axelementsPred101, axiom, 
- f_atomicNumber(type_Nobelium,102)).
-
-fof(axelementsPred102, axiom, 
- f_atomicNumber(type_Lawrencium,103)).
-
-fof(axelementsPred103, axiom, 
- f_atomicNumber(type_Unnilquadium,104)).
-
-fof(axelementsPred104, axiom, 
- f_atomicNumber(type_Unnilpentium,105)).
-
-fof(axelementsPred105, axiom, 
- f_atomicNumber(type_Unnilhexium,106)).
-
-fof(axelementsPred106, axiom, 
- f_atomicNumber(type_Unnilseptium,107)).
-
-fof(axelementsPred107, axiom, 
- f_atomicNumber(type_Unniloctium,108)).
-
-fof(axelementsPred108, axiom, 
- f_atomicNumber(type_Meitnerium,109)).
-
-fof(axelementsPred109, axiom, 
- f_atomicNumber(type_Unnildecium,110)).
-
-fof(axelementsPred110, axiom, 
- f_meltingPoint(type_Hydrogen,f_MeasureFn(14.01,inst_KelvinDegree))).
-
-fof(axelementsPred111, axiom, 
- f_boilingPoint(type_Hydrogen,f_MeasureFn(20.28,inst_KelvinDegree))).
-
-fof(axelementsPred112, axiom, 
- f_meltingPoint(type_Helium,f_MeasureFn(0.95,inst_KelvinDegree))).
-
-fof(axelementsPred113, axiom, 
- f_boilingPoint(type_Helium,f_MeasureFn(4.216,inst_KelvinDegree))).
-
-fof(axelementsPred114, axiom, 
- f_meltingPoint(type_Lithium,f_MeasureFn(453.69,inst_KelvinDegree))).
-
-fof(axelementsPred115, axiom, 
- f_boilingPoint(type_Lithium,f_MeasureFn(1590,inst_KelvinDegree))).
-
-fof(axelementsPred116, axiom, 
- f_meltingPoint(type_Beryllium,f_MeasureFn(1551,inst_KelvinDegree))).
-
-fof(axelementsPred117, axiom, 
- f_boilingPoint(type_Beryllium,f_MeasureFn(3243,inst_KelvinDegree))).
-
-fof(axelementsPred118, axiom, 
- f_meltingPoint(type_Boron,f_MeasureFn(2573,inst_KelvinDegree))).
-
-fof(axelementsPred119, axiom, 
- f_boilingPoint(type_Boron,f_MeasureFn(2823,inst_KelvinDegree))).
-
-fof(axelementsPred120, axiom, 
- f_meltingPoint(type_Carbon,f_MeasureFn(3823,inst_KelvinDegree))).
-
-fof(axelementsPred121, axiom, 
- f_boilingPoint(type_Carbon,f_MeasureFn(5100,inst_KelvinDegree))).
-
-fof(axelementsPred122, axiom, 
- f_meltingPoint(type_Nitrogen,f_MeasureFn(63.29,inst_KelvinDegree))).
-
-fof(axelementsPred123, axiom, 
- f_boilingPoint(type_Nitrogen,f_MeasureFn(77.4,inst_KelvinDegree))).
-
-fof(axelementsPred124, axiom, 
- f_meltingPoint(type_Oxygen,f_MeasureFn(54.75,inst_KelvinDegree))).
-
-fof(axelementsPred125, axiom, 
- f_boilingPoint(type_Oxygen,f_MeasureFn(90.188,inst_KelvinDegree))).
-
-fof(axelementsPred126, axiom, 
- f_meltingPoint(type_Fluorine,f_MeasureFn(53.53,inst_KelvinDegree))).
-
-fof(axelementsPred127, axiom, 
- f_boilingPoint(type_Fluorine,f_MeasureFn(85.01,inst_KelvinDegree))).
-
-fof(axelementsPred128, axiom, 
- f_meltingPoint(type_Neon,f_MeasureFn(24.48,inst_KelvinDegree))).
-
-fof(axelementsPred129, axiom, 
- f_boilingPoint(type_Neon,f_MeasureFn(27.1,inst_KelvinDegree))).
-
-fof(axelementsPred130, axiom, 
- f_meltingPoint(type_Sodium,f_MeasureFn(370.95,inst_KelvinDegree))).
-
-fof(axelementsPred131, axiom, 
- f_boilingPoint(type_Sodium,f_MeasureFn(1165,inst_KelvinDegree))).
-
-fof(axelementsPred132, axiom, 
- f_meltingPoint(type_Magnesium,f_MeasureFn(921.95,inst_KelvinDegree))).
-
-fof(axelementsPred133, axiom, 
- f_boilingPoint(type_Magnesium,f_MeasureFn(1380,inst_KelvinDegree))).
-
-fof(axelementsPred134, axiom, 
- f_meltingPoint(type_Aluminum,f_MeasureFn(933.52,inst_KelvinDegree))).
-
-fof(axelementsPred135, axiom, 
- f_boilingPoint(type_Aluminum,f_MeasureFn(2740,inst_KelvinDegree))).
-
-fof(axelementsPred136, axiom, 
- f_meltingPoint(type_Silicon,f_MeasureFn(1683,inst_KelvinDegree))).
-
-fof(axelementsPred137, axiom, 
- f_boilingPoint(type_Silicon,f_MeasureFn(2628,inst_KelvinDegree))).
-
-fof(axelementsPred138, axiom, 
- f_meltingPoint(type_Phosphorus,f_MeasureFn(317.3,inst_KelvinDegree))).
-
-fof(axelementsPred139, axiom, 
- f_boilingPoint(type_Phosphorus,f_MeasureFn(553,inst_KelvinDegree))).
-
-fof(axelementsPred140, axiom, 
- f_meltingPoint(type_Sulphur,f_MeasureFn(386,inst_KelvinDegree))).
-
-fof(axelementsPred141, axiom, 
- f_boilingPoint(type_Sulphur,f_MeasureFn(717.824,inst_KelvinDegree))).
-
-fof(axelementsPred142, axiom, 
- f_meltingPoint(type_Chlorine,f_MeasureFn(172.17,inst_KelvinDegree))).
-
-fof(axelementsPred143, axiom, 
- f_boilingPoint(type_Chlorine,f_MeasureFn(238.55,inst_KelvinDegree))).
-
-fof(axelementsPred144, axiom, 
- f_meltingPoint(type_Argon,f_MeasureFn(83.78,inst_KelvinDegree))).
-
-fof(axelementsPred145, axiom, 
- f_boilingPoint(type_Argon,f_MeasureFn(87.29,inst_KelvinDegree))).
-
-fof(axelementsPred146, axiom, 
- f_meltingPoint(type_Potassium,f_MeasureFn(336.8,inst_KelvinDegree))).
-
-fof(axelementsPred147, axiom, 
- f_boilingPoint(type_Potassium,f_MeasureFn(1047,inst_KelvinDegree))).
-
-fof(axelementsPred148, axiom, 
- f_meltingPoint(type_Calcium,f_MeasureFn(1112,inst_KelvinDegree))).
-
-fof(axelementsPred149, axiom, 
- f_boilingPoint(type_Calcium,f_MeasureFn(1760,inst_KelvinDegree))).
-
-fof(axelementsPred150, axiom, 
- f_meltingPoint(type_Scandium,f_MeasureFn(1812,inst_KelvinDegree))).
-
-fof(axelementsPred151, axiom, 
- f_boilingPoint(type_Scandium,f_MeasureFn(3105,inst_KelvinDegree))).
-
-fof(axelementsPred152, axiom, 
- f_meltingPoint(type_Titanium,f_MeasureFn(1933,inst_KelvinDegree))).
-
-fof(axelementsPred153, axiom, 
- f_boilingPoint(type_Titanium,f_MeasureFn(3533,inst_KelvinDegree))).
-
-fof(axelementsPred154, axiom, 
- f_meltingPoint(type_Vanadium,f_MeasureFn(2163,inst_KelvinDegree))).
-
-fof(axelementsPred155, axiom, 
- f_boilingPoint(type_Vanadium,f_MeasureFn(3653,inst_KelvinDegree))).
-
-fof(axelementsPred156, axiom, 
- f_meltingPoint(type_Chromium,f_MeasureFn(2130,inst_KelvinDegree))).
-
-fof(axelementsPred157, axiom, 
- f_boilingPoint(type_Chromium,f_MeasureFn(2755,inst_KelvinDegree))).
-
-fof(axelementsPred158, axiom, 
- f_meltingPoint(type_Manganese,f_MeasureFn(1517,inst_KelvinDegree))).
-
-fof(axelementsPred159, axiom, 
- f_boilingPoint(type_Manganese,f_MeasureFn(2370,inst_KelvinDegree))).
-
-fof(axelementsPred160, axiom, 
- f_meltingPoint(type_Iron,f_MeasureFn(1808,inst_KelvinDegree))).
-
-fof(axelementsPred161, axiom, 
- f_boilingPoint(type_Iron,f_MeasureFn(3023,inst_KelvinDegree))).
-
-fof(axelementsPred162, axiom, 
- f_meltingPoint(type_Cobalt,f_MeasureFn(1768,inst_KelvinDegree))).
-
-fof(axelementsPred163, axiom, 
- f_boilingPoint(type_Cobalt,f_MeasureFn(3143,inst_KelvinDegree))).
-
-fof(axelementsPred164, axiom, 
- f_meltingPoint(type_Nickel,f_MeasureFn(1726,inst_KelvinDegree))).
-
-fof(axelementsPred165, axiom, 
- f_boilingPoint(type_Nickel,f_MeasureFn(3005,inst_KelvinDegree))).
-
-fof(axelementsPred166, axiom, 
- f_meltingPoint(type_Copper,f_MeasureFn(1356.6,inst_KelvinDegree))).
-
-fof(axelementsPred167, axiom, 
- f_boilingPoint(type_Copper,f_MeasureFn(2868,inst_KelvinDegree))).
-
-fof(axelementsPred168, axiom, 
- f_meltingPoint(type_Zinc,f_MeasureFn(692.73,inst_KelvinDegree))).
-
-fof(axelementsPred169, axiom, 
- f_boilingPoint(type_Zinc,f_MeasureFn(1180,inst_KelvinDegree))).
-
-fof(axelementsPred170, axiom, 
- f_meltingPoint(type_Gallium,f_MeasureFn(302.93,inst_KelvinDegree))).
-
-fof(axelementsPred171, axiom, 
- f_boilingPoint(type_Gallium,f_MeasureFn(2676,inst_KelvinDegree))).
-
-fof(axelementsPred172, axiom, 
- f_meltingPoint(type_Germanium,f_MeasureFn(1210.55,inst_KelvinDegree))).
-
-fof(axelementsPred173, axiom, 
- f_boilingPoint(type_Germanium,f_MeasureFn(3103,inst_KelvinDegree))).
-
-fof(axelementsPred174, axiom, 
- f_meltingPoint(type_Arsenic,f_MeasureFn(886,inst_KelvinDegree))).
-
-fof(axelementsPred175, axiom, 
- f_boilingPoint(type_Arsenic,f_MeasureFn(886,inst_KelvinDegree))).
-
-fof(axelementsPred176, axiom, 
- f_meltingPoint(type_Selenium,f_MeasureFn(490,inst_KelvinDegree))).
-
-fof(axelementsPred177, axiom, 
- f_boilingPoint(type_Selenium,f_MeasureFn(958.1,inst_KelvinDegree))).
-
-fof(axelementsPred178, axiom, 
- f_meltingPoint(type_Bromine,f_MeasureFn(265.9,inst_KelvinDegree))).
-
-fof(axelementsPred179, axiom, 
- f_boilingPoint(type_Bromine,f_MeasureFn(331.93,inst_KelvinDegree))).
-
-fof(axelementsPred180, axiom, 
- f_meltingPoint(type_Krypton,f_MeasureFn(116.55,inst_KelvinDegree))).
-
-fof(axelementsPred181, axiom, 
- f_boilingPoint(type_Krypton,f_MeasureFn(120.85,inst_KelvinDegree))).
-
-fof(axelementsPred182, axiom, 
- f_meltingPoint(type_Rubidium,f_MeasureFn(312.2,inst_KelvinDegree))).
-
-fof(axelementsPred183, axiom, 
- f_boilingPoint(type_Rubidium,f_MeasureFn(961,inst_KelvinDegree))).
-
-fof(axelementsPred184, axiom, 
- f_meltingPoint(type_Strontium,f_MeasureFn(1042,inst_KelvinDegree))).
-
-fof(axelementsPred185, axiom, 
- f_boilingPoint(type_Strontium,f_MeasureFn(1657,inst_KelvinDegree))).
-
-fof(axelementsPred186, axiom, 
- f_meltingPoint(type_Yttrium,f_MeasureFn(1796,inst_KelvinDegree))).
-
-fof(axelementsPred187, axiom, 
- f_boilingPoint(type_Yttrium,f_MeasureFn(3610,inst_KelvinDegree))).
-
-fof(axelementsPred188, axiom, 
- f_meltingPoint(type_Zirconium,f_MeasureFn(2125,inst_KelvinDegree))).
-
-fof(axelementsPred189, axiom, 
- f_boilingPoint(type_Zirconium,f_MeasureFn(4650,inst_KelvinDegree))).
-
-fof(axelementsPred190, axiom, 
- f_meltingPoint(type_Niobium,f_MeasureFn(2741,inst_KelvinDegree))).
-
-fof(axelementsPred191, axiom, 
- f_boilingPoint(type_Niobium,f_MeasureFn(5200,inst_KelvinDegree))).
-
-fof(axelementsPred192, axiom, 
- f_meltingPoint(type_Molybdenum,f_MeasureFn(2890,inst_KelvinDegree))).
-
-fof(axelementsPred193, axiom, 
- f_boilingPoint(type_Molybdenum,f_MeasureFn(5833,inst_KelvinDegree))).
-
-fof(axelementsPred194, axiom, 
- f_meltingPoint(type_Technetium,f_MeasureFn(2445,inst_KelvinDegree))).
-
-fof(axelementsPred195, axiom, 
- f_boilingPoint(type_Technetium,f_MeasureFn(5303,inst_KelvinDegree))).
-
-fof(axelementsPred196, axiom, 
- f_meltingPoint(type_Ruthenium,f_MeasureFn(2583,inst_KelvinDegree))).
-
-fof(axelementsPred197, axiom, 
- f_boilingPoint(type_Ruthenium,f_MeasureFn(4173,inst_KelvinDegree))).
-
-fof(axelementsPred198, axiom, 
- f_meltingPoint(type_Rhodium,f_MeasureFn(2239,inst_KelvinDegree))).
-
-fof(axelementsPred199, axiom, 
- f_boilingPoint(type_Rhodium,f_MeasureFn(4000,inst_KelvinDegree))).
-
-fof(axelementsPred200, axiom, 
- f_meltingPoint(type_Palladium,f_MeasureFn(1825,inst_KelvinDegree))).
-
-fof(axelementsPred201, axiom, 
- f_boilingPoint(type_Palladium,f_MeasureFn(3413,inst_KelvinDegree))).
-
-fof(axelementsPred202, axiom, 
- f_meltingPoint(type_Silver,f_MeasureFn(1235.08,inst_KelvinDegree))).
-
-fof(axelementsPred203, axiom, 
- f_boilingPoint(type_Silver,f_MeasureFn(2485,inst_KelvinDegree))).
-
-fof(axelementsPred204, axiom, 
- f_meltingPoint(type_Cadmium,f_MeasureFn(594.1,inst_KelvinDegree))).
-
-fof(axelementsPred205, axiom, 
- f_boilingPoint(type_Cadmium,f_MeasureFn(1038,inst_KelvinDegree))).
-
-fof(axelementsPred206, axiom, 
- f_meltingPoint(type_Indium,f_MeasureFn(429.32,inst_KelvinDegree))).
-
-fof(axelementsPred207, axiom, 
- f_boilingPoint(type_Indium,f_MeasureFn(2353,inst_KelvinDegree))).
-
-fof(axelementsPred208, axiom, 
- f_meltingPoint(type_Tin,f_MeasureFn(505.118,inst_KelvinDegree))).
-
-fof(axelementsPred209, axiom, 
- f_boilingPoint(type_Tin,f_MeasureFn(2543,inst_KelvinDegree))).
-
-fof(axelementsPred210, axiom, 
- f_meltingPoint(type_Antimony,f_MeasureFn(903.89,inst_KelvinDegree))).
-
-fof(axelementsPred211, axiom, 
- f_boilingPoint(type_Antimony,f_MeasureFn(2023,inst_KelvinDegree))).
-
-fof(axelementsPred212, axiom, 
- f_meltingPoint(type_Tellurium,f_MeasureFn(722.7,inst_KelvinDegree))).
-
-fof(axelementsPred213, axiom, 
- f_boilingPoint(type_Tellurium,f_MeasureFn(1263,inst_KelvinDegree))).
-
-fof(axelementsPred214, axiom, 
- f_meltingPoint(type_Iodine,f_MeasureFn(386.65,inst_KelvinDegree))).
-
-fof(axelementsPred215, axiom, 
- f_boilingPoint(type_Iodine,f_MeasureFn(457.55,inst_KelvinDegree))).
-
-fof(axelementsPred216, axiom, 
- f_meltingPoint(type_Xenon,f_MeasureFn(161.3,inst_KelvinDegree))).
-
-fof(axelementsPred217, axiom, 
- f_boilingPoint(type_Xenon,f_MeasureFn(166.1,inst_KelvinDegree))).
-
-fof(axelementsPred218, axiom, 
- f_meltingPoint(type_Caesium,f_MeasureFn(301.55,inst_KelvinDegree))).
-
-fof(axelementsPred219, axiom, 
- f_boilingPoint(type_Caesium,f_MeasureFn(963,inst_KelvinDegree))).
-
-fof(axelementsPred220, axiom, 
- f_meltingPoint(type_Barium,f_MeasureFn(998,inst_KelvinDegree))).
-
-fof(axelementsPred221, axiom, 
- f_boilingPoint(type_Barium,f_MeasureFn(1913,inst_KelvinDegree))).
-
-fof(axelementsPred222, axiom, 
- f_meltingPoint(type_Lanthanum,f_MeasureFn(1193,inst_KelvinDegree))).
-
-fof(axelementsPred223, axiom, 
- f_boilingPoint(type_Lanthanum,f_MeasureFn(3727,inst_KelvinDegree))).
-
-fof(axelementsPred224, axiom, 
- f_meltingPoint(type_Cerium,f_MeasureFn(1071,inst_KelvinDegree))).
-
-fof(axelementsPred225, axiom, 
- f_boilingPoint(type_Cerium,f_MeasureFn(3530,inst_KelvinDegree))).
-
-fof(axelementsPred226, axiom, 
- f_meltingPoint(type_Praseodymium,f_MeasureFn(1204,inst_KelvinDegree))).
-
-fof(axelementsPred227, axiom, 
- f_boilingPoint(type_Praseodymium,f_MeasureFn(3485,inst_KelvinDegree))).
-
-fof(axelementsPred228, axiom, 
- f_meltingPoint(type_Neodymium,f_MeasureFn(1283,inst_KelvinDegree))).
-
-fof(axelementsPred229, axiom, 
- f_boilingPoint(type_Neodymium,f_MeasureFn(3400,inst_KelvinDegree))).
-
-fof(axelementsPred230, axiom, 
- f_meltingPoint(type_Promethium,f_MeasureFn(1353,inst_KelvinDegree))).
-
-fof(axelementsPred231, axiom, 
- f_boilingPoint(type_Promethium,f_MeasureFn(3000,inst_KelvinDegree))).
-
-fof(axelementsPred232, axiom, 
- f_meltingPoint(type_Samarium,f_MeasureFn(1345,inst_KelvinDegree))).
-
-fof(axelementsPred233, axiom, 
- f_boilingPoint(type_Samarium,f_MeasureFn(2051,inst_KelvinDegree))).
-
-fof(axelementsPred234, axiom, 
- f_meltingPoint(type_Europium,f_MeasureFn(1095,inst_KelvinDegree))).
-
-fof(axelementsPred235, axiom, 
- f_boilingPoint(type_Europium,f_MeasureFn(1870,inst_KelvinDegree))).
-
-fof(axelementsPred236, axiom, 
- f_meltingPoint(type_Gadolinium,f_MeasureFn(1584,inst_KelvinDegree))).
-
-fof(axelementsPred237, axiom, 
- f_boilingPoint(type_Gadolinium,f_MeasureFn(3506,inst_KelvinDegree))).
-
-fof(axelementsPred238, axiom, 
- f_meltingPoint(type_Terbium,f_MeasureFn(1633,inst_KelvinDegree))).
-
-fof(axelementsPred239, axiom, 
- f_boilingPoint(type_Terbium,f_MeasureFn(3314,inst_KelvinDegree))).
-
-fof(axelementsPred240, axiom, 
- f_meltingPoint(type_Dysprosium,f_MeasureFn(1682,inst_KelvinDegree))).
-
-fof(axelementsPred241, axiom, 
- f_boilingPoint(type_Dysprosium,f_MeasureFn(2608,inst_KelvinDegree))).
-
-fof(axelementsPred242, axiom, 
- f_meltingPoint(type_Holmium,f_MeasureFn(1743,inst_KelvinDegree))).
-
-fof(axelementsPred243, axiom, 
- f_boilingPoint(type_Holmium,f_MeasureFn(2993,inst_KelvinDegree))).
-
-fof(axelementsPred244, axiom, 
- f_meltingPoint(type_Erbium,f_MeasureFn(1795,inst_KelvinDegree))).
-
-fof(axelementsPred245, axiom, 
- f_boilingPoint(type_Erbium,f_MeasureFn(2783,inst_KelvinDegree))).
-
-fof(axelementsPred246, axiom, 
- f_meltingPoint(type_Thulium,f_MeasureFn(1818,inst_KelvinDegree))).
-
-fof(axelementsPred247, axiom, 
- f_boilingPoint(type_Thulium,f_MeasureFn(2000,inst_KelvinDegree))).
-
-fof(axelementsPred248, axiom, 
- f_meltingPoint(type_Ytterbium,f_MeasureFn(1097,inst_KelvinDegree))).
-
-fof(axelementsPred249, axiom, 
- f_boilingPoint(type_Ytterbium,f_MeasureFn(1466,inst_KelvinDegree))).
-
-fof(axelementsPred250, axiom, 
- f_meltingPoint(type_Lutetium,f_MeasureFn(1929,inst_KelvinDegree))).
-
-fof(axelementsPred251, axiom, 
- f_boilingPoint(type_Lutetium,f_MeasureFn(3588,inst_KelvinDegree))).
-
-fof(axelementsPred252, axiom, 
- f_meltingPoint(type_Hafnium,f_MeasureFn(2423,inst_KelvinDegree))).
-
-fof(axelementsPred253, axiom, 
- f_boilingPoint(type_Hafnium,f_MeasureFn(5673,inst_KelvinDegree))).
-
-fof(axelementsPred254, axiom, 
- f_meltingPoint(type_Tantalum,f_MeasureFn(3269,inst_KelvinDegree))).
-
-fof(axelementsPred255, axiom, 
- f_boilingPoint(type_Tantalum,f_MeasureFn(5698,inst_KelvinDegree))).
-
-fof(axelementsPred256, axiom, 
- f_meltingPoint(type_Tungsten,f_MeasureFn(3680,inst_KelvinDegree))).
-
-fof(axelementsPred257, axiom, 
- f_boilingPoint(type_Tungsten,f_MeasureFn(6200,inst_KelvinDegree))).
-
-fof(axelementsPred258, axiom, 
- f_meltingPoint(type_Rhenium,f_MeasureFn(3453,inst_KelvinDegree))).
-
-fof(axelementsPred259, axiom, 
- f_boilingPoint(type_Rhenium,f_MeasureFn(5900,inst_KelvinDegree))).
-
-fof(axelementsPred260, axiom, 
- f_meltingPoint(type_Osmium,f_MeasureFn(3318,inst_KelvinDegree))).
-
-fof(axelementsPred261, axiom, 
- f_boilingPoint(type_Osmium,f_MeasureFn(5300,inst_KelvinDegree))).
-
-fof(axelementsPred262, axiom, 
- f_meltingPoint(type_Iridium,f_MeasureFn(2683,inst_KelvinDegree))).
-
-fof(axelementsPred263, axiom, 
- f_boilingPoint(type_Iridium,f_MeasureFn(4403,inst_KelvinDegree))).
-
-fof(axelementsPred264, axiom, 
- f_meltingPoint(type_Platinum,f_MeasureFn(2045,inst_KelvinDegree))).
-
-fof(axelementsPred265, axiom, 
- f_boilingPoint(type_Platinum,f_MeasureFn(4100,inst_KelvinDegree))).
-
-fof(axelementsPred266, axiom, 
- f_meltingPoint(type_Gold,f_MeasureFn(1337.58,inst_KelvinDegree))).
-
-fof(axelementsPred267, axiom, 
- f_boilingPoint(type_Gold,f_MeasureFn(3213,inst_KelvinDegree))).
-
-fof(axelementsPred268, axiom, 
- f_meltingPoint(type_Mercury,f_MeasureFn(234.28,inst_KelvinDegree))).
-
-fof(axelementsPred269, axiom, 
- f_boilingPoint(type_Mercury,f_MeasureFn(629.73,inst_KelvinDegree))).
-
-fof(axelementsPred270, axiom, 
- f_meltingPoint(type_Thallium,f_MeasureFn(576.7,inst_KelvinDegree))).
-
-fof(axelementsPred271, axiom, 
- f_boilingPoint(type_Thallium,f_MeasureFn(1730,inst_KelvinDegree))).
-
-fof(axelementsPred272, axiom, 
- f_meltingPoint(type_Lead,f_MeasureFn(600.65,inst_KelvinDegree))).
-
-fof(axelementsPred273, axiom, 
- f_boilingPoint(type_Lead,f_MeasureFn(2013,inst_KelvinDegree))).
-
-fof(axelementsPred274, axiom, 
- f_meltingPoint(type_Bismuth,f_MeasureFn(544.5,inst_KelvinDegree))).
-
-fof(axelementsPred275, axiom, 
- f_boilingPoint(type_Bismuth,f_MeasureFn(1833,inst_KelvinDegree))).
-
-fof(axelementsPred276, axiom, 
- f_meltingPoint(type_Polonium,f_MeasureFn(527,inst_KelvinDegree))).
-
-fof(axelementsPred277, axiom, 
- f_boilingPoint(type_Polonium,f_MeasureFn(1235,inst_KelvinDegree))).
-
-fof(axelementsPred278, axiom, 
- f_meltingPoint(type_Astatine,f_MeasureFn(575,inst_KelvinDegree))).
-
-fof(axelementsPred279, axiom, 
- f_boilingPoint(type_Astatine,f_MeasureFn(610,inst_KelvinDegree))).
-
-fof(axelementsPred280, axiom, 
- f_meltingPoint(type_Radon,f_MeasureFn(202,inst_KelvinDegree))).
-
-fof(axelementsPred281, axiom, 
- f_boilingPoint(type_Radon,f_MeasureFn(211.4,inst_KelvinDegree))).
-
-fof(axelementsPred282, axiom, 
- f_meltingPoint(type_Francium,f_MeasureFn(300,inst_KelvinDegree))).
-
-fof(axelementsPred283, axiom, 
- f_boilingPoint(type_Francium,f_MeasureFn(950,inst_KelvinDegree))).
-
-fof(axelementsPred284, axiom, 
- f_meltingPoint(type_Radium,f_MeasureFn(973,inst_KelvinDegree))).
-
-fof(axelementsPred285, axiom, 
- f_boilingPoint(type_Radium,f_MeasureFn(1413,inst_KelvinDegree))).
-
-fof(axelementsPred286, axiom, 
- f_meltingPoint(type_Actinium,f_MeasureFn(1320,inst_KelvinDegree))).
-
-fof(axelementsPred287, axiom, 
- f_boilingPoint(type_Actinium,f_MeasureFn(3470,inst_KelvinDegree))).
-
-fof(axelementsPred288, axiom, 
- f_meltingPoint(type_Thorium,f_MeasureFn(2023,inst_KelvinDegree))).
-
-fof(axelementsPred289, axiom, 
- f_boilingPoint(type_Thorium,f_MeasureFn(5060,inst_KelvinDegree))).
-
-fof(axelementsPred290, axiom, 
- f_meltingPoint(type_Protactinium,f_MeasureFn(1827,inst_KelvinDegree))).
-
-fof(axelementsPred291, axiom, 
- f_boilingPoint(type_Protactinium,f_MeasureFn(4300,inst_KelvinDegree))).
-
-fof(axelementsPred292, axiom, 
- f_meltingPoint(type_Uranium,f_MeasureFn(1405.5,inst_KelvinDegree))).
-
-fof(axelementsPred293, axiom, 
- f_boilingPoint(type_Uranium,f_MeasureFn(4091,inst_KelvinDegree))).
-
-fof(axelementsPred294, axiom, 
- f_meltingPoint(type_Neptunium,f_MeasureFn(913,inst_KelvinDegree))).
-
-fof(axelementsPred295, axiom, 
- f_boilingPoint(type_Neptunium,f_MeasureFn(4175,inst_KelvinDegree))).
-
-fof(axelementsPred296, axiom, 
- f_meltingPoint(type_Plutonium,f_MeasureFn(914,inst_KelvinDegree))).
-
-fof(axelementsPred297, axiom, 
- f_boilingPoint(type_Plutonium,f_MeasureFn(3600,inst_KelvinDegree))).
-
-fof(axelementsPred298, axiom, 
- f_meltingPoint(type_Americium,f_MeasureFn(1267,inst_KelvinDegree))).
-
-fof(axelementsPred299, axiom, 
- f_boilingPoint(type_Americium,f_MeasureFn(2880,inst_KelvinDegree))).
-
-fof(axelementsPred300, axiom, 
- f_meltingPoint(type_Curium,f_MeasureFn(1613,inst_KelvinDegree))).
-
-fof(axelementsPred301, axiom, 
- f_meltingPoint(type_Berkelium,f_MeasureFn(1259,inst_KelvinDegree))).
-
-fof(axelementsPred302, axiom, 
- f_meltingPoint(type_Californium,f_MeasureFn(1173,inst_KelvinDegree))).
-
-fof(axelementsPred303, axiom, 
- f_meltingPoint(type_Einsteinium,f_MeasureFn(1133,inst_KelvinDegree))).
-