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/elementsAx.p | 440 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 440 insertions(+) create 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 new file mode 100644 index 000000000..6d169ceeb --- /dev/null +++ b/examples/SUMO/TPTP/elementsAx.p @@ -0,0 +1,440 @@ +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