|
| 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 27675-27675 | Manganese 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 29018-29018 | Mendelevium 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. | Merge.kif 1101-1101 | Metal 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 28270-28270 | Neodymium 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 28875-28875 | Neptunium 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 27938-27938 | Niobium 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 29036-29036 | Nobelium 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 27384-27384 | Oxygen 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 27508-27508 | Phosphorus 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 28893-28893 | Plutonium 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 27571-27571 | Potassium 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 28296-28296 | Promethium 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 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners