gf-3.1.6: examples/SUMO/TPTP/elementsPredAx.p
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))).