|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4802-4802 | Egypt meets red sea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4804-4804 | Eritrea meets red sea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 140-140 | Europa island meets indian ocean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 45-45 | Europe meets asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 926-926 | Florida meets alabama |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 927-927 | Florida meets Gulf of mexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 925-925 | Florida meets north atlantic ocean |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2580-2580 | Gaza strip meets israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 933-933 | Georgia meets alabama |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 932-932 | Georgia meets Florida |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 931-931 | Georgia meets north atlantic ocean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 142-142 | Glorioso islands meets indian ocean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 936-936 | Hawaii meets pacific ocean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 144-144 | Heard island and mc donald islands meets indian ocean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 940-940 | Idaho meets canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 943-943 | Idaho meets Nevada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 942-942 | Idaho meets Oregon |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 944-944 | Idaho meets utah |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 941-941 | Idaho meets washington |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 948-948 | Illinois meets Iowa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 949-949 | Illinois meets missouri |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 953-953 | Indiana meets illinois |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 958-958 | Iowa meets missouri |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 957-957 | Iowa meets Nebraska |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 956-956 | Iowa meets South Dakota |
| 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