|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28973-28973 | atomicNumber Einsteinium and 99 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28422-28422 | atomicNumber Erbium and 68 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28328-28328 | atomicNumber Europium and 63 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28993-28993 | atomicNumber Fermium and 100 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27395-27395 | atomicNumber Fluorine and 9 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28766-28766 | atomicNumber Francium and 87 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28344-28344 | atomicNumber Gadolinium and 64 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27761-27761 | atomicNumber Gallium and 31 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27779-27779 | atomicNumber Germanium and 32 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28620-28620 | atomicNumber Gold and 79 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28492-28492 | atomicNumber Hafnium and 72 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27274-27274 | atomicNumber Helium and 2 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28397-28397 | atomicNumber Holmium and 67 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27258-27258 | atomicNumber Hydrogen and 1 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28066-28066 | atomicNumber Indium and 49 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28131-28131 | atomicNumber Iodine and 53 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28570-28570 | atomicNumber Iridium and 77 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27681-27681 | atomicNumber Iron and 26 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27842-27842 | atomicNumber Krypton and 36 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28208-28208 | atomicNumber Lanthanum and 57 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29044-29044 | atomicNumber Lawrencium and 103 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28680-28680 | atomicNumber Lead and 82 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27290-27290 | atomicNumber Lithium and 3 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28470-28470 | atomicNumber Lutetium and 71 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27446-27446 | atomicNumber Magnesium and 12 |
| 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