| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1093-1093 | Elemental substance is a subclass of pure substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27255-27255 | Hydrogen is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27271-27271 | Helium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27287-27287 | Lithium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27301-27301 | Beryllium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27317-27317 | Boron is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27336-27336 | Carbon is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27354-27354 | Nitrogen is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27372-27372 | Oxygen is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27392-27392 | Fluorine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27409-27409 | Neon is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27427-27427 | Sodium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27443-27443 | Magnesium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27461-27461 | Aluminum is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27479-27479 | Silicon is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27496-27496 | Phosphorus is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27511-27511 | Sulphur is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27527-27527 | Chlorine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27544-27544 | Argon is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27559-27559 | Potassium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27575-27575 | Calcium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27590-27590 | Scandium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27606-27606 | Titanium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27622-27622 | Vanadium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27649-27649 | Chromium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27663-27663 | Manganese is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27678-27678 | Iron is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27695-27695 | Cobalt is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27712-27712 | Nickel is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27726-27726 | Copper is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27742-27742 | Zinc is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27758-27758 | Gallium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27776-27776 | Germanium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27792-27792 | Arsenic is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27808-27808 | Selenium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27823-27823 | Bromine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27839-27839 | Krypton is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27859-27859 | Rubidium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27876-27876 | Strontium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27893-27893 | Yttrium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27910-27910 | Zirconium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27926-27926 | Niobium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27943-27943 | Molybdenum is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27966-27966 | Technetium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27985-27985 | Ruthenium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28001-28001 | Rhodium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28016-28016 | Palladium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28032-28032 | Silver is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28047-28047 | Cadmium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28063-28063 | Indium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28079-28079 | Tin is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28095-28095 | Antimony is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28112-28112 | Tellurium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28128-28128 | Iodine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28146-28146 | Xenon is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28163-28163 | Caesium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28189-28189 | Barium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28205-28205 | Lanthanum is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28225-28225 | Cerium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28242-28242 | Praseodymium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28258-28258 | Neodymium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28284-28284 | Promethium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28304-28304 | Samarium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28325-28325 | Europium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28341-28341 | Gadolinium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28358-28358 | Terbium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28373-28373 | Dysprosium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28394-28394 | Holmium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28419-28419 | Erbium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28436-28436 | Thulium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28452-28452 | Ytterbium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28467-28467 | Lutetium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28489-28489 | Hafnium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28505-28505 | Tantalum is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28522-28522 | Tungsten is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28538-28538 | Rhenium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28553-28553 | Osmium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28567-28567 | Iridium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28591-28591 | Platinum is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28617-28617 | Gold is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28638-28638 | Mercury is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28655-28655 | Thallium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28677-28677 | Lead is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28693-28693 | Bismuth is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28711-28711 | Polonium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28728-28728 | Astatine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28745-28745 | Radon is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28763-28763 | Francium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28779-28779 | Radium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28795-28795 | Actinium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28813-28813 | Thorium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28830-28830 | Protactinium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28847-28847 | Uranium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28863-28863 | Neptunium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28881-28881 | Plutonium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28901-28901 | Americium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28918-28918 | Curium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28935-28935 | Berkelium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28952-28952 | Californium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28970-28970 | Einsteinium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28990-28990 | Fermium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29006-29006 | Mendelevium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29024-29024 | Nobelium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29041-29041 | Lawrencium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29063-29063 | Unnilquadium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29080-29080 | Unnilpentium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29095-29095 | Unnilhexium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29110-29110 | Unnilseptium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29125-29125 | Unniloctium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29138-29138 | Meitnerium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29155-29155 | Unnildecium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1101-1101 | Metal is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1108-1108 | Atom is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1133-1133 | Subatomic particle is a subclass of elemental substance |
|
|