|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27678-27678 | 25 is an atomic number of manganese |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29153-29153 | 109 is an atomic number of meitnerium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29021-29021 | 101 is an atomic number of mendelevium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28653-28653 | 80 is an atomic number of mercury |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27958-27958 | 42 is an atomic number of molybdenum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28273-28273 | 60 is an atomic number of neodymium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27424-27424 | 10 is an atomic number of neon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28878-28878 | 93 is an atomic number of neptunium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27727-27727 | 28 is an atomic number of nickel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27941-27941 | 41 is an atomic number of niobium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27369-27369 | 7 is an atomic number of nitrogen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29039-29039 | 102 is an atomic number of nobelium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28568-28568 | 76 is an atomic number of osmium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27387-27387 | 8 is an atomic number of oxygen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28031-28031 | 46 is an atomic number of palladium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27511-27511 | 15 is an atomic number of phosphorus |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28606-28606 | 78 is an atomic number of platinum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28896-28896 | 94 is an atomic number of plutonium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28726-28726 | 84 is an atomic number of polonium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27574-27574 | 19 is an atomic number of potassium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28257-28257 | 59 is an atomic number of praseodymium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28299-28299 | 61 is an atomic number of promethium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28845-28845 | 91 is an atomic number of protactinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28794-28794 | 88 is an atomic number of radium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28760-28760 | 86 is an atomic number of radon |
| 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