|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27273-27273 | conventionalShortName "He" and Helium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28491-28491 | conventionalShortName "Hf" and Hafnium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28640-28640 | conventionalShortName "Hg" and Mercury |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28396-28396 | conventionalShortName "Ho" and Holmium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28130-28130 | conventionalShortName "I" and Iodine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28065-28065 | conventionalShortName "In" and Indium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28569-28569 | conventionalShortName "Ir" and Iridium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27561-27561 | conventionalShortName "K" and Potassium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27841-27841 | conventionalShortName "Kr" and Krypton |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3219-3219 | conventionalShortName "Kyoto Protocol" and ClimateChange-KyotoProtocol |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28207-28207 | conventionalShortName "La" and Lanthanum |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3256-3256 | conventionalShortName "Law of the Sea" and LawOfTheSeaConvention |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27289-27289 | conventionalShortName "Li" and Lithium |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3265-3265 | conventionalShortName "London Convention" and MarineDumpingConvention |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29043-29043 | conventionalShortName "Lr" and Lawrencium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28469-28469 | conventionalShortName "Lu" and Lutetium |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3295-3295 | conventionalShortName "MARPOL" and ShipPollutionProtocol |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3264-3264 | conventionalShortName "Marine Dumping" and MarineDumpingConvention |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3272-3272 | conventionalShortName "Marine Life Conservation" and MarineLifeConservationConvention |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29008-29008 | conventionalShortName "Md" and Mendelevium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27445-27445 | conventionalShortName "Mg" and Magnesium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27665-27665 | conventionalShortName "Mn" and Manganese |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27945-27945 | conventionalShortName "Mo" and Molybdenum |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3287-3287 | conventionalShortName "Montreal Protocol" and OzoneLayerProtectionProtocol |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29140-29140 | conventionalShortName "Mt" and Meitnerium |
| 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