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/TPTP/elementsPredAx.p | 912 ------------------------------------ 1 file changed, 912 deletions(-) delete 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 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))). - -- cgit v1.2.3