|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28985-28985 | 99 is an atomic number of einsteinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28434-28434 | 68 is an atomic number of erbium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28340-28340 | 63 is an atomic number of europium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29005-29005 | 100 is an atomic number of fermium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27407-27407 | 9 is an atomic number of fluorine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28778-28778 | 87 is an atomic number of francium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28356-28356 | 64 is an atomic number of gadolinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27773-27773 | 31 is an atomic number of gallium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27791-27791 | 32 is an atomic number of germanium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28632-28632 | 79 is an atomic number of gold |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28504-28504 | 72 is an atomic number of hafnium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27286-27286 | 2 is an atomic number of helium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28409-28409 | 67 is an atomic number of holmium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27270-27270 | 1 is an atomic number of hydrogen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28078-28078 | 49 is an atomic number of indium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28143-28143 | 53 is an atomic number of iodine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28582-28582 | 77 is an atomic number of iridium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27693-27693 | 26 is an atomic number of iron |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27854-27854 | 36 is an atomic number of krypton |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28220-28220 | 57 is an atomic number of lanthanum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29056-29056 | 103 is an atomic number of lawrencium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28692-28692 | 82 is an atomic number of lead |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27302-27302 | 3 is an atomic number of lithium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28482-28482 | 71 is an atomic number of lutetium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27458-27458 | 12 is an atomic number of magnesium |
| 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