|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3436-3436 | conventionalShortName "Red Cross" and InternationalCommitteeOfTheRedCross |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28003-28003 | conventionalShortName "Rh" and Rhodium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28747-28747 | conventionalShortName "Rn" and Radon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27987-27987 | conventionalShortName "Ru" and Ruthenium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27513-27513 | conventionalShortName "S" and Sulphur |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28097-28097 | conventionalShortName "Sb" and Antimony |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27592-27592 | conventionalShortName "Sc" and Scandium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27810-27810 | conventionalShortName "Se" and Selenium |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3294-3294 | conventionalShortName "Ship Pollution" and ShipPollutionProtocol |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27481-27481 | conventionalShortName "Si" and Silicon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28306-28306 | conventionalShortName "Sm" and Samarium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28081-28081 | conventionalShortName "Sn" and Tin |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27878-27878 | conventionalShortName "Sr" and Strontium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28507-28507 | conventionalShortName "Ta" and Tantalum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28360-28360 | conventionalShortName "Tb" and Terbium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27968-27968 | conventionalShortName "Tc" and Technetium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28114-28114 | conventionalShortName "Te" and Tellurium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28815-28815 | conventionalShortName "Th" and Thorium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27608-27608 | conventionalShortName "Ti" and Titanium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28657-28657 | conventionalShortName "Tl" and Thallium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28438-28438 | conventionalShortName "Tm" and Thulium |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3301-3301 | conventionalShortName "Tropical Timber 83" and TropicalTimber83Agreement |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3307-3307 | conventionalShortName "Tropical Timber 94" and TropicalTimber94Agreement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28849-28849 | conventionalShortName "U" and Uranium |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3939-3939 | conventionalShortName "UN General Assembly" and UnitedNationsGeneralAssembly |
| 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