| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2532-2532 |
安第斯西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2606-2606 |
西班牙巴塞罗那 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2618-2618 |
Beasain西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2653-2653 |
毕尔巴鄂西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2655-2655 |
比拉博纳西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2773-2773 |
Deba西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2804-2804 |
Durango西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2851-2851 |
福恩吉罗拉西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2865-2865 |
Getxo西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2880-2880 |
格拉纳达西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2921-2921 |
Hernani西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3111-3111 |
Lasarte西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3113-3113 |
雷扎西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3132-3132 |
洛格罗尼奥西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3166-3166 |
西班牙马德里 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3174-3174 |
马拉加西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3373-3373 |
潘普洛纳西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3429-3429 |
Reus 西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3446-3446 |
罗萨斯西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3462-3462 |
圣塞巴斯蒂安西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3470-3470 |
Sallent de gallego 西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3486-3486 |
圣塞巴斯蒂安西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3494-3494 |
圣波拉西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3511-3511 |
塞维利亚西班牙 是 西班牙 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3605-3605 |
托萨罗西班牙 是 西班牙 的 geographic 次要地区 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
