|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2596-2596 | Bale ethiopia is a geographic subregion of ethiopia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2598-2598 | Banbridge northern ireland is a geographic subregion of northern ireland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2600-2600 | Bangkok thailand is a geographic subregion of thailand |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 569-569 | Bangladesh is a geographic subregion of southern asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2602-2602 | Bangor northern ireland is a geographic subregion of northern ireland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2604-2604 | Bangui central african republic is a geographic subregion of central african republic |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 433-433 | Barbados is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2606-2606 | Barcelona spain is a geographic subregion of spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2608-2608 | Barkeo cambodia is a geographic subregion of cambodia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2610-2610 | Barrancabermeja colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2612-2612 | Basra israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 154-154 | Bassas da india is a geographic subregion of southern africa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2614-2614 | Bat yam israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2616-2616 | Batman turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2620-2620 | Be er sheva israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2618-2618 | Beasain spain is a geographic subregion of spain |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2622-2622 | Beirut lebanon is a geographic subregion of lebanon |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2624-2624 | Beit el west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2626-2626 | Beit haggai west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2628-2628 | Beit sahur west bank is a geographic subregion of west bank |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2630-2630 | Beit she an israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2632-2632 | Beit shemesh israel is a geographic subregion of israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 296-296 | Belarus is a geographic subregion of eastern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2634-2634 | Beledweyne somalia is a geographic subregion of somalia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2636-2636 | Belfast northern ireland is a geographic subregion of northern ireland |
| 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