|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2591-2591 | 名 "Baka al-Garbiyeh" and baka al garbiyeh 以色列 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4196-4196 | 名 "Baker Island" and 貝克島 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2593-2593 | 名 "Bakka al-Sharkiya" and bakka al 沙爾基亞西岸 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2595-2595 | 名 "Baku" and 巴庫阿塞拜疆 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2597-2597 | 名 "Bale" and 大包埃塞俄比亞 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2599-2599 | 名 "Banbridge" and 班布里奇北愛爾蘭 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2601-2601 | 名 "Bangkok" and 曼谷泰國 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4161-4161 | 名 "Bangladesh" and 孟加拉國 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2603-2603 | 名 "Bangor" and 班戈北愛爾蘭 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2605-2605 | 名 "Bangui" and 班吉中非共和國 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4089-4089 | 名 "Barbados" and 巴巴多斯 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2607-2607 | 名 "Barcelona" and 西班牙巴塞羅那 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2609-2609 | 名 "Barkeo" and barkeo柬埔寨 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2611-2611 | 名 "Barrancabermeja" and barrancabermeja哥倫比亞 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2613-2613 | 名 "Basra" and 巴士拉以色列 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3956-3956 | 名 "Bassas da India" and bassas da 印度 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3965-3965 | 名 "Basutoland" and 萊索托 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2615-2615 | 名 "Bat Yam" and bat yam 以色列 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2617-2617 | 名 "Batman" and 蝙蝠俠火雞 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2621-2621 | 名 "Be'er Sheva" and be er sheva 以色列 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2619-2619 | 名 "Beasain" and beasain西班牙 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2623-2623 | 名 "Beirut" and 貝魯特，黎巴嫩 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2625-2625 | 名 "Beit El" and 貝特埃爾西岸 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2627-2627 | 名 "Beit Haggai" and 拜特哈吉西岸 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2629-2629 | 名 "Beit Sahur" and 拜特薩胡爾西岸 |
| 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