|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4802-4802 | Egypt encontra RedSea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4804-4804 | Eritrea encontra RedSea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 140-140 | EuropaIsland encontra IndianOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 45-45 | Europe encontra Asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 926-926 | FloridaUnitedStates encontra Alabama |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 927-927 | FloridaUnitedStates encontra GulfOfMexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 925-925 | FloridaUnitedStates encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2580-2580 | GazaStrip encontra Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 933-933 | Georgia encontra Alabama |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 932-932 | Georgia encontra FloridaUnitedStates |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 931-931 | Georgia encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 142-142 | GloriosoIslands encontra IndianOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 936-936 | Hawaii encontra PacificOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 144-144 | HeardIslandAndMcDonaldIslands encontra IndianOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 940-940 | Idaho encontra Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 943-943 | Idaho encontra Nevada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 942-942 | Idaho encontra Oregon |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 944-944 | Idaho encontra Utah |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 941-941 | Idaho encontra Washington |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 948-948 | Illinois encontra Iowa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 949-949 | Illinois encontra Missouri |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 953-953 | Indiana encontra Illinois |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 958-958 | Iowa encontra Missouri |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 957-957 | Iowa encontra Nebraska |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 956-956 | Iowa encontra SouthDakota |
| 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