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 27267-27267 | Hydrogen is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27283-27283 | Helium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27299-27299 | Lithium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27313-27313 | Beryllium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27329-27329 | Boron is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27348-27348 | Carbon is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27366-27366 | Nitrogen is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27384-27384 | Oxygen is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27404-27404 | Fluorine is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27421-27421 | Neon is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27439-27439 | Sodium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27455-27455 | Magnesium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27473-27473 | Aluminum is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27491-27491 | Silicon is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27508-27508 | Phosphorus is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27523-27523 | Sulphur is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27539-27539 | Chlorine is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27556-27556 | Argon is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27571-27571 | Potassium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27587-27587 | Calcium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27602-27602 | Scandium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27618-27618 | Titanium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27634-27634 | Vanadium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27661-27661 | Chromium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27675-27675 | Manganese is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27690-27690 | Iron is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27707-27707 | Cobalt is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27724-27724 | Nickel is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27738-27738 | Copper is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27754-27754 | Zinc is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27770-27770 | Gallium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27788-27788 | Germanium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27804-27804 | Arsenic is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27820-27820 | Selenium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27835-27835 | Bromine is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27851-27851 | Krypton is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27871-27871 | Rubidium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27888-27888 | Strontium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27905-27905 | Yttrium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27922-27922 | Zirconium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27938-27938 | Niobium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27955-27955 | Molybdenum is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27978-27978 | Technetium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27997-27997 | Ruthenium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28013-28013 | Rhodium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28028-28028 | Palladium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28044-28044 | Silver is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28059-28059 | Cadmium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28075-28075 | Indium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28091-28091 | Tin is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28107-28107 | Antimony is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28124-28124 | Tellurium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28140-28140 | Iodine is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28158-28158 | Xenon is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28175-28175 | Caesium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28201-28201 | Barium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28217-28217 | Lanthanum is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28237-28237 | Cerium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28254-28254 | Praseodymium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28270-28270 | Neodymium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28296-28296 | Promethium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28316-28316 | Samarium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28337-28337 | Europium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28353-28353 | Gadolinium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28370-28370 | Terbium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28385-28385 | Dysprosium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28406-28406 | Holmium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28431-28431 | Erbium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28448-28448 | Thulium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28464-28464 | Ytterbium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28479-28479 | Lutetium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28501-28501 | Hafnium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28517-28517 | Tantalum is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28534-28534 | Tungsten is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28550-28550 | Rhenium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28565-28565 | Osmium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28579-28579 | Iridium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28603-28603 | Platinum is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28629-28629 | Gold is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28650-28650 | Mercury is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28667-28667 | Thallium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28689-28689 | Lead is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28705-28705 | Bismuth is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28723-28723 | Polonium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28740-28740 | Astatine is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28757-28757 | Radon is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28775-28775 | Francium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28791-28791 | Radium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28807-28807 | Actinium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28825-28825 | Thorium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28842-28842 | Protactinium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28859-28859 | Uranium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28875-28875 | Neptunium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28893-28893 | Plutonium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28913-28913 | Americium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28930-28930 | Curium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28947-28947 | Berkelium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28964-28964 | Californium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28982-28982 | Einsteinium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29002-29002 | Fermium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29018-29018 | Mendelevium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29036-29036 | Nobelium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29053-29053 | Lawrencium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29075-29075 | Unnilquadium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29092-29092 | Unnilpentium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29107-29107 | Unnilhexium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29122-29122 | Unnilseptium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29137-29137 | Unniloctium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29150-29150 | Meitnerium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29167-29167 | 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 |