|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 787-787 | SaintPaulMinnesota encontra MinneapolisMinnesota |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4805-4805 | SaudiArabia encontra RedSea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6952-6952 | Scotland encontra England |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2539-2539 | Serbia encontra Montenegro |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5171-5171 | Somalia encontra GulfOfAden |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1097-1097 | SouthCarolina encontra Georgia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1096-1096 | SouthCarolina encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1100-1100 | SouthDakota encontra Montana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1102-1102 | SouthDakota encontra Nebraska |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1101-1101 | SouthDakota encontra Wyoming |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4803-4803 | Sudan encontra RedSea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1105-1105 | Tennessee encontra Alabama |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1107-1107 | Tennessee encontra Arkansas |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1106-1106 | Tennessee encontra Mississippi |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1108-1108 | Tennessee encontra Missouri |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1113-1113 | Texas encontra GulfOfMexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1112-1112 | Texas encontra Mexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1111-1111 | Texas encontra NewMexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 150-150 | TromelinIsland encontra IndianOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1120-1120 | Utah encontra Arizona |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1119-1119 | Utah encontra Nevada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1121-1121 | Utah encontra NewMexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1125-1125 | Vermont encontra Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1127-1127 | Vermont encontra Massachusetts |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1126-1126 | Vermont encontra NewYorkState |
| 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