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/elementsAx.p | 440 ---------------------------------------- 1 file changed, 440 deletions(-) delete mode 100644 examples/SUMO/TPTP/elementsAx.p (limited to 'examples/SUMO/TPTP/elementsAx.p') diff --git a/examples/SUMO/TPTP/elementsAx.p b/examples/SUMO/TPTP/elementsAx.p deleted file mode 100644 index 6d169ceeb..000000000 --- a/examples/SUMO/TPTP/elementsAx.p +++ /dev/null @@ -1,440 +0,0 @@ -fof(axelements0, axiom, - ( ! [X] : - (hasType(type_Actinium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements1, axiom, - ( ! [X] : - (hasType(type_Aluminum, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements2, axiom, - ( ! [X] : - (hasType(type_Americium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements3, axiom, - ( ! [X] : - (hasType(type_Antimony, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements4, axiom, - ( ! [X] : - (hasType(type_Argon, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements5, axiom, - ( ! [X] : - (hasType(type_Arsenic, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements6, axiom, - ( ! [X] : - (hasType(type_Astatine, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements7, axiom, - ( ! [X] : - (hasType(type_Barium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements8, axiom, - ( ! [X] : - (hasType(type_Berkelium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements9, axiom, - ( ! [X] : - (hasType(type_Beryllium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements10, axiom, - ( ! [X] : - (hasType(type_Bismuth, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements11, axiom, - ( ! [X] : - (hasType(type_Boron, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements12, axiom, - ( ! [X] : - (hasType(type_Bromine, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements13, axiom, - ( ! [X] : - (hasType(type_Cadmium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements14, axiom, - ( ! [X] : - (hasType(type_Caesium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements15, axiom, - ( ! [X] : - (hasType(type_Calcium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements16, axiom, - ( ! [X] : - (hasType(type_Californium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements17, axiom, - ( ! [X] : - (hasType(type_Carbon, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements18, axiom, - ( ! [X] : - (hasType(type_Cerium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements19, axiom, - ( ! [X] : - (hasType(type_Chlorine, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements20, axiom, - ( ! [X] : - (hasType(type_Chromium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements21, axiom, - ( ! [X] : - (hasType(type_Cobalt, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements22, axiom, - ( ! [X] : - (hasType(type_Copper, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements23, axiom, - ( ! [X] : - (hasType(type_Curium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements24, axiom, - ( ! [X] : - (hasType(type_Dysprosium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements25, axiom, - ( ! [X] : - (hasType(type_Einsteinium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements26, axiom, - ( ! [X] : - (hasType(type_Erbium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements27, axiom, - ( ! [X] : - (hasType(type_Europium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements28, axiom, - ( ! [X] : - (hasType(type_Fermium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements29, axiom, - ( ! [X] : - (hasType(type_Fluorine, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements30, axiom, - ( ! [X] : - (hasType(type_Francium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements31, axiom, - ( ! [X] : - (hasType(type_Gadolinium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements32, axiom, - ( ! [X] : - (hasType(type_Gallium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements33, axiom, - ( ! [X] : - (hasType(type_Germanium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements34, axiom, - ( ! [X] : - (hasType(type_Gold, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements35, axiom, - ( ! [X] : - (hasType(type_Hafnium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements36, axiom, - ( ! [X] : - (hasType(type_Helium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements37, axiom, - ( ! [X] : - (hasType(type_Holmium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements38, axiom, - ( ! [X] : - (hasType(type_Hydrogen, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements39, axiom, - ( ! [X] : - (hasType(type_Indium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements40, axiom, - ( ! [X] : - (hasType(type_Iodine, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements41, axiom, - ( ! [X] : - (hasType(type_Iridium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements42, axiom, - ( ! [X] : - (hasType(type_Iron, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements43, axiom, - ( ! [X] : - (hasType(type_Krypton, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements44, axiom, - ( ! [X] : - (hasType(type_Lanthanum, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements45, axiom, - ( ! [X] : - (hasType(type_Lawrencium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements46, axiom, - ( ! [X] : - (hasType(type_Lead, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements47, axiom, - ( ! [X] : - (hasType(type_Lithium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements48, axiom, - ( ! [X] : - (hasType(type_Lutetium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements49, axiom, - ( ! [X] : - (hasType(type_Magnesium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements50, axiom, - ( ! [X] : - (hasType(type_Manganese, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements51, axiom, - ( ! [X] : - (hasType(type_Meitnerium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements52, axiom, - ( ! [X] : - (hasType(type_Mendelevium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements53, axiom, - ( ! [X] : - (hasType(type_Mercury, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements54, axiom, - ( ! [X] : - (hasType(type_Molybdenum, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements55, axiom, - ( ! [X] : - (hasType(type_Neodymium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements56, axiom, - ( ! [X] : - (hasType(type_Neon, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements57, axiom, - ( ! [X] : - (hasType(type_Neptunium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements58, axiom, - ( ! [X] : - (hasType(type_Nickel, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements59, axiom, - ( ! [X] : - (hasType(type_Niobium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements60, axiom, - ( ! [X] : - (hasType(type_Nitrogen, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements61, axiom, - ( ! [X] : - (hasType(type_Nobelium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements62, axiom, - ( ! [X] : - (hasType(type_Osmium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements63, axiom, - ( ! [X] : - (hasType(type_Oxygen, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements64, axiom, - ( ! [X] : - (hasType(type_Palladium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements65, axiom, - ( ! [X] : - (hasType(type_Phosphorus, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements66, axiom, - ( ! [X] : - (hasType(type_Platinum, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements67, axiom, - ( ! [X] : - (hasType(type_Plutonium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements68, axiom, - ( ! [X] : - (hasType(type_Polonium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements69, axiom, - ( ! [X] : - (hasType(type_Potassium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements70, axiom, - ( ! [X] : - (hasType(type_Praseodymium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements71, axiom, - ( ! [X] : - (hasType(type_Promethium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements72, axiom, - ( ! [X] : - (hasType(type_Protactinium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements73, axiom, - ( ! [X] : - (hasType(type_Radium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements74, axiom, - ( ! [X] : - (hasType(type_Radon, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements75, axiom, - ( ! [X] : - (hasType(type_Rhenium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements76, axiom, - ( ! [X] : - (hasType(type_Rhodium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements77, axiom, - ( ! [X] : - (hasType(type_Rubidium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements78, axiom, - ( ! [X] : - (hasType(type_Ruthenium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements79, axiom, - ( ! [X] : - (hasType(type_Samarium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements80, axiom, - ( ! [X] : - (hasType(type_Scandium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements81, axiom, - ( ! [X] : - (hasType(type_Selenium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements82, axiom, - ( ! [X] : - (hasType(type_Silicon, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements83, axiom, - ( ! [X] : - (hasType(type_Silver, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements84, axiom, - ( ! [X] : - (hasType(type_Sodium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements85, axiom, - ( ! [X] : - (hasType(type_Strontium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements86, axiom, - ( ! [X] : - (hasType(type_Sulphur, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements87, axiom, - ( ! [X] : - (hasType(type_Tantalum, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements88, axiom, - ( ! [X] : - (hasType(type_Technetium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements89, axiom, - ( ! [X] : - (hasType(type_Tellurium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements90, axiom, - ( ! [X] : - (hasType(type_Terbium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements91, axiom, - ( ! [X] : - (hasType(type_Thallium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements92, axiom, - ( ! [X] : - (hasType(type_Thorium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements93, axiom, - ( ! [X] : - (hasType(type_Thulium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements94, axiom, - ( ! [X] : - (hasType(type_Tin, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements95, axiom, - ( ! [X] : - (hasType(type_Titanium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements96, axiom, - ( ! [X] : - (hasType(type_Tungsten, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements97, axiom, - ( ! [X] : - (hasType(type_Unnildecium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements98, axiom, - ( ! [X] : - (hasType(type_Unnilhexium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements99, axiom, - ( ! [X] : - (hasType(type_Unniloctium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements100, axiom, - ( ! [X] : - (hasType(type_Unnilpentium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements101, axiom, - ( ! [X] : - (hasType(type_Unnilquadium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements102, axiom, - ( ! [X] : - (hasType(type_Unnilseptium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements103, axiom, - ( ! [X] : - (hasType(type_Uranium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements104, axiom, - ( ! [X] : - (hasType(type_Vanadium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements105, axiom, - ( ! [X] : - (hasType(type_Xenon, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements106, axiom, - ( ! [X] : - (hasType(type_Ytterbium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements107, axiom, - ( ! [X] : - (hasType(type_Yttrium, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements108, axiom, - ( ! [X] : - (hasType(type_Zinc, X) => hasType(type_ElementalSubstance, X)))). - -fof(axelements109, axiom, - ( ! [X] : - (hasType(type_Zirconium, X) => hasType(type_ElementalSubstance, X)))). - -- cgit v1.2.3