From d6627b5a5af6a82dd5316ac5d527790697615339 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 17 Feb 2010 12:21:41 +0000 Subject: added TPTP for SUMO --- examples/SUMO/TPTP/elementsPredAx.p | 912 ++++++++++++++++++++++++++++++++++++ 1 file changed, 912 insertions(+) create mode 100644 examples/SUMO/TPTP/elementsPredAx.p (limited to 'examples/SUMO/TPTP/elementsPredAx.p') diff --git a/examples/SUMO/TPTP/elementsPredAx.p b/examples/SUMO/TPTP/elementsPredAx.p new file mode 100644 index 000000000..70793bb79 --- /dev/null +++ b/examples/SUMO/TPTP/elementsPredAx.p @@ -0,0 +1,912 @@ +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))). + -- cgit v1.2.3