|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1492-1492 | Bakka al sharkiya west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1494-1494 | Baku azerbaijan is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1496-1496 | Bale ethiopia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1498-1498 | Banbridge northern ireland is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1500-1500 | Bangkok thailand is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1502-1502 | Bangor northern ireland is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1504-1504 | Bangui central african republic is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1506-1506 | Barcelona spain is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1508-1508 | Barkeo cambodia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1510-1510 | Barrancabermeja colombia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1512-1512 | Basra israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1514-1514 | Bat yam israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1516-1516 | Batman turkey is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1518-1518 | Be er sheva israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1520-1520 | Beasain spain is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4254-4254 | Beijing is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1522-1522 | Beirut lebanon is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1524-1524 | Beit el west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1526-1526 | Beit haggai west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1528-1528 | Beit hanina west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1530-1530 | Beit sahur west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1532-1532 | Beit she an israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1534-1534 | Beit shemesh israel is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1536-1536 | Beledweyne somalia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1538-1538 | Belfast northern ireland 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