gf-3.1.6: examples/SUMO/TPTP/elementsAx.p

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)))).