No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1392-1392 |
阿达纳土耳其 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1394-1394 |
亚的斯亚贝巴埃塞俄比亚 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1396-1396 |
腺也门 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1398-1398 |
阿多拉西岸 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1400-1400 |
阿富拉以色列 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1402-1402 |
阿格里土耳其 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1404-1404 |
Ain defla 阿尔及利亚 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1406-1406 |
Ain el hajar 阿尔及利亚 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1408-1408 |
Ajaccio 法国 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1410-1410 |
Al balamand 黎巴嫩 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1412-1412 |
Alei sinai 加沙地帶 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1414-1414 |
Alei zahav 西方银行 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1416-1416 |
阿莱黎巴嫩 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1418-1418 |
阿尔及尔,阿尔及利亚 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1420-1420 |
烷烃蒙古包俄罗斯 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1422-1422 |
Alon 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1424-1424 |
安汶印度尼西亚 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1426-1426 |
安曼,约旦 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1428-1428 |
一个 nuwaydirat 巴林 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1430-1430 |
安第斯西班牙 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1432-1432 |
吴哥窟柬埔寨 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1434-1434 |
安卡拉土耳其 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1436-1436 |
安塔利亚土耳其 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1438-1438 |
Antioquia 哥伦比亚 是 城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1440-1440 |
安特卫普比利时 是 城市 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |