|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1442-1442 | 例 apumirac 秘魯 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1444-1444 | 例 apure 委內瑞拉 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1446-1446 | 例 阿勞卡哥倫比亞 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1448-1448 | 例 argun 俄羅斯 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1450-1450 | 例 阿里爾西岸 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1452-1452 | 例 阿爾馬北愛爾蘭 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1454-1454 | 例 arzew 阿爾及利亞 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1456-1456 | 例 阿什多德以色列 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1458-1458 | 例 阿什克倫以色列 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1460-1460 | 例 阿斯馬拉厄立特里亞 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1462-1462 | 例 阿薩姆邦印度 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1464-1464 | 例 阿斯旺埃及 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1466-1466 | 例 asyut埃及 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1468-1468 | 例 希臘雅典 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1470-1470 | 例 atrush 伊拉克 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1472-1472 | 例 atzmona 加沙地帶 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1474-1474 | 例 avnei hefetz 以色列 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1476-1476 | 例 ayacucho 秘魯 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1478-1478 | 例 以色列阿佐爾 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1480-1480 | 例 B kaot 西岸 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1482-1482 | 例 德國 bad vilbel and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1484-1484 | 例 伊拉克巴格達 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1486-1486 | 例 巴格里哥倫比亞 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1488-1488 | 例 巴哈瓦爾布爾巴基斯坦 and City |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1490-1490 | 例 baka al garbiyeh 以色列 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