|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1442-1442 | Apumirac 秘鲁 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1444-1444 | Apure 委内瑞拉 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1446-1446 | 阿劳卡哥伦比亚 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1448-1448 | Argun 俄罗斯 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1450-1450 | 阿里尔西岸 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1452-1452 | 阿尔马北爱尔兰 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1454-1454 | Arzew 阿尔及利亚 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1456-1456 | 阿什多德以色列 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1458-1458 | 阿什克伦以色列 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1460-1460 | 阿斯马拉厄立特里亚 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1462-1462 | 阿萨姆邦印度 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1464-1464 | 阿斯旺埃及 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1466-1466 | Asyut埃及 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1468-1468 | 希腊雅典 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1470-1470 | Atrush 伊拉克 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1472-1472 | Atzmona 加沙地带 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1474-1474 | Avnei hefetz 以色列 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1476-1476 | Ayacucho 秘鲁 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1478-1478 | 以色列阿佐尔 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1480-1480 | B kaot 西岸 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1482-1482 | 德国 bad vilbel 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1484-1484 | 伊拉克巴格达 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1486-1486 | 巴格里哥伦比亚 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1488-1488 | 巴哈瓦尔布尔巴基斯坦 是 城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1490-1490 | Baka al garbiyeh 以色列 是 城市 的 instance |
| 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