|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27356-27356 | conventionalShortName "N" and Nitrogen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27429-27429 | conventionalShortName "Na" and Sodium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27928-27928 | conventionalShortName "Nb" and Niobium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28260-28260 | conventionalShortName "Nd" and Neodymium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27411-27411 | conventionalShortName "Ne" and Neon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27714-27714 | conventionalShortName "Ni" and Nickel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29026-29026 | conventionalShortName "No" and Nobelium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28865-28865 | conventionalShortName "Np" and Neptunium |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3279-3279 | conventionalShortName "Nuclear Test Ban" and NuclearTestBanTreaty |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27374-27374 | conventionalShortName "O" and Oxygen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28555-28555 | conventionalShortName "Os" and Osmium |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3285-3285 | conventionalShortName "Ozone Layer Protection" and OzoneLayerProtectionProtocol |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27498-27498 | conventionalShortName "P" and Phosphorus |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28832-28832 | conventionalShortName "Pa" and Protactinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28679-28679 | conventionalShortName "Pb" and Lead |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28018-28018 | conventionalShortName "Pd" and Palladium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28286-28286 | conventionalShortName "Pm" and Promethium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28713-28713 | conventionalShortName "Po" and Polonium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28244-28244 | conventionalShortName "Pr" and Praseodymium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28593-28593 | conventionalShortName "Pt" and Platinum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28883-28883 | conventionalShortName "Pu" and Plutonium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28781-28781 | conventionalShortName "Ra" and Radium |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3315-3315 | conventionalShortName "Ramsar Convention" and WetlandsConvention |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27861-27861 | conventionalShortName "Rb" and Rubidium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28540-28540 | conventionalShortName "Re" and Rhenium |
| 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