|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3220-3220 | conventionalShortName "Climate Change Kyoto Protocol" and ClimateChange-KyotoProtocol |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3212-3212 | conventionalShortName "Climate Change" and ClimateChangeConvention |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28920-28920 | conventionalShortName "Cm" and Curium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27697-27697 | conventionalShortName "Co" and Cobalt |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2978-2978 | conventionalShortName "Commonwealth" and CommonwealthOfNations |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27651-27651 | conventionalShortName "Cr" and Chromium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28165-28165 | conventionalShortName "Cs" and Caesium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27728-27728 | conventionalShortName "Cu" and Copper |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3227-3227 | conventionalShortName "Desertification" and DesertificationConvention |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28375-28375 | conventionalShortName "Dy" and Dysprosium |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3234-3234 | conventionalShortName "EndangeredSpecies" and EndangeredSpeciesConvention |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3044-3044 | conventionalShortName "Entente" and CouncilOfTheEntente |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3242-3242 | conventionalShortName "Environmental Modification" and EnvironmentalModificationConvention |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28421-28421 | conventionalShortName "Er" and Erbium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28972-28972 | conventionalShortName "Es" and Einsteinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28327-28327 | conventionalShortName "Eu" and Europium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27394-27394 | conventionalShortName "F" and Fluorine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27680-27680 | conventionalShortName "Fe" and Iron |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28992-28992 | conventionalShortName "Fm" and Fermium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28765-28765 | conventionalShortName "Fr" and Francium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27760-27760 | conventionalShortName "Ga" and Gallium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28343-28343 | conventionalShortName "Gd" and Gadolinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27778-27778 | conventionalShortName "Ge" and Germanium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27257-27257 | conventionalShortName "H" and Hydrogen |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3250-3250 | conventionalShortName "Hazardous Wastes" and HazardousWastesConvention |
| 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