|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1442-1442 | Apumirac peru is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1444-1444 | Apure venezuela is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1446-1446 | Arauca colombia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1448-1448 | Argun russia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1450-1450 | Ariel west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1452-1452 | Armagh northern ireland is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1454-1454 | Arzew algeria is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1456-1456 | Ashdod israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1458-1458 | Askelon israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1460-1460 | Asmara eritrea is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1462-1462 | Assam india is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1464-1464 | Aswan egypt is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1466-1466 | Asyut egypt is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1468-1468 | Athens greece is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1470-1470 | Atrush iraq is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1472-1472 | Atzmona gaza strip is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1474-1474 | Avnei hefetz israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1476-1476 | Ayacucho peru is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1478-1478 | Azor israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1480-1480 | B kaot west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1482-1482 | Bad vilbel germany is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1484-1484 | Baghdad iraq is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1486-1486 | Bagre colombia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1488-1488 | Bahawalpur pakistan is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1490-1490 | Baka al garbiyeh israel is an instance of city |
| 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