|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1492-1492 | 例 bakka al 沙爾基亞西岸 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1494-1494 | 例 巴庫阿塞拜疆 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1496-1496 | 例 大包埃塞俄比亞 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1498-1498 | 例 班布里奇北愛爾蘭 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1500-1500 | 例 曼谷泰國 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1502-1502 | 例 班戈北愛爾蘭 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1504-1504 | 例 班吉中非共和國 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1506-1506 | 例 西班牙巴塞羅那 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1508-1508 | 例 barkeo柬埔寨 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1510-1510 | 例 barrancabermeja哥倫比亞 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1512-1512 | 例 巴士拉以色列 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1514-1514 | 例 bat yam 以色列 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1516-1516 | 例 蝙蝠俠火雞 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1518-1518 | 例 be er sheva 以色列 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1520-1520 | 例 beasain西班牙 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4254-4254 | 例 Beijing and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1522-1522 | 例 貝魯特，黎巴嫩 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1524-1524 | 例 貝特埃爾西岸 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1526-1526 | 例 拜特哈吉西岸 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1528-1528 | 例 拜特漢尼納西岸 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1530-1530 | 例 拜特薩胡爾西岸 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1532-1532 | 例 beit she an 以色列 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1534-1534 | 例 beit shemesh 以色列 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1536-1536 | 例 beledweyne索馬里 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1538-1538 | 例 貝爾法斯特北愛爾蘭 and 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