|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28385-28385 | Dysprosium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28982-28982 | Einsteinium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28431-28431 | Erbium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28337-28337 | Europium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29002-29002 | Fermium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27404-27404 | Fluorine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28775-28775 | Francium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28353-28353 | Gadolinium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27770-27770 | Gallium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27788-27788 | Germanium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28629-28629 | Gold is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28501-28501 | Hafnium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27283-27283 | Helium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28406-28406 | Holmium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27267-27267 | Hydrogen is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28075-28075 | Indium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28140-28140 | Iodine is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28579-28579 | Iridium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27690-27690 | Iron is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27851-27851 | Krypton is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28217-28217 | Lanthanum is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29053-29053 | Lawrencium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28689-28689 | Lead is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27299-27299 | Lithium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28479-28479 | 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