No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2546-2546 |
Apure 委內瑞拉 是 委內瑞拉 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2729-2729 |
Chorros quero 委內瑞拉 是 委內瑞拉 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2827-2827 |
El ripial apure 委內瑞拉 是 委內瑞拉 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3097-3097 |
La gabarra 委內瑞拉 是 委內瑞拉 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3103-3103 |
拉維多利亞委內瑞拉 是 委內瑞拉 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3118-3118 |
Libertador委內瑞拉 是 委內瑞拉 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3143-3143 |
Los bancos 委內瑞拉 是 委內瑞拉 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3342-3342 |
油田委內瑞拉 是 委內瑞拉 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3628-3628 |
Urena委內瑞拉 是 委內瑞拉 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4131-4131 |
名 "Venezuela" and 委內瑞拉 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61492-61492 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61491-61491 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61490-61490 |
|