|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 390-390 | geographicSubregion Andorra and SouthwesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2534-2534 | geographicSubregion AngkorWatCambodia and Cambodia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 152-152 | geographicSubregion Angola and SouthernAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 427-427 | geographicSubregion Anguilla and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2536-2536 | geographicSubregion AnkaraTurkey and Turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2538-2538 | geographicSubregion AntalyaTurkey and Turkey |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3622-3622 | geographicSubregion Antarctica and AntarcticArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3539-3539 | geographicSubregion Antarctica and SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 428-428 | geographicSubregion AntiguaAndBarbuda and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2540-2540 | geographicSubregion AntioquiaColombia and ColombiaPanama |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2542-2542 | geographicSubregion AntwerpBelgium and Belgium |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2544-2544 | geographicSubregion ApumiracPeru and Peru |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2546-2546 | geographicSubregion ApureVenezuela and Venezuela |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2548-2548 | geographicSubregion AraucaColombia and ColombiaPanama |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4639-4639 | geographicSubregion ArcticOcean and NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3581-3581 | geographicSubregion ArcticRegion and NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 513-513 | geographicSubregion Argentina and SouthernSouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2550-2550 | geographicSubregion ArgunRussia and Russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2552-2552 | geographicSubregion ArielWestBank and WestBank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2554-2554 | geographicSubregion ArmaghNorthernIreland and NorthernIreland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 630-630 | geographicSubregion Armenia and SouthwesternAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 430-430 | geographicSubregion Aruba and CaribbeanRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2556-2556 | geographicSubregion ArzewAlgeria and Algeria |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2558-2558 | geographicSubregion AshdodIsrael and Israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 598-598 | geographicSubregion AshmoreAndCartierIslands and SoutheasternAsia |
| 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