|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1540-1540 | Belgrade serbia and montenegro is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1542-1542 | Bet le hiyeh gaza strip is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1544-1544 | Beth el israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1546-1546 | Bethlehem west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1548-1548 | Bidya west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1550-1550 | Bilbao spain is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1552-1552 | Billabona spain is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1554-1554 | Binyamina israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1556-1556 | The Kyrgyz capital Bishkek is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1558-1558 | Bnei Ayish Israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1560-1560 | Bogota colombia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1562-1562 | Bologna italy is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1564-1564 | Bonn germany is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1566-1566 | Bouira algeria is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1568-1568 | Bouze guene algeria is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1570-1570 | Brussels belgium is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1572-1572 | Bucaramanga colombia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1574-1574 | Bucharest romania is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1576-1576 | Buenos aires argentina is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1578-1578 | Buinaksk russia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1580-1580 | Cabinda angola is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1582-1582 | Caglayan turkey is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1584-1584 | Cairo egypt is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1586-1586 | Calcutta india is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1588-1588 | Cali colombia 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