|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28373-28373 | Dysprosium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28970-28970 | Einsteinium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28419-28419 | Erbium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28325-28325 | Europium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28990-28990 | Fermium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27392-27392 | Fluorine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28763-28763 | Francium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28341-28341 | Gadolinium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27758-27758 | Gallium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27776-27776 | Germanium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28617-28617 | Gold is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28489-28489 | Hafnium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27271-27271 | Helium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28394-28394 | Holmium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27255-27255 | Hydrogen is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28063-28063 | Indium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28128-28128 | Iodine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28567-28567 | Iridium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27678-27678 | Iron is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27839-27839 | Krypton is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28205-28205 | Lanthanum is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29041-29041 | Lawrencium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28677-28677 | Lead is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27287-27287 | Lithium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28467-28467 | Lutetium 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